added the .stack-work directory to the .gitignore
added the .stack-work directory to the .gitignore

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script