added .v.d Coq compilation output files to the .gitignore
added .v.d Coq compilation output files to the .gitignore

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