Fixed a syntax error in the tutorial
Fixed a syntax error in the tutorial

Replaced "( .. )" with "{{ .. }}" in the last print statement in the NQueens example.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script