Add saw-core-coq to travis ci cabal project file.
Add saw-core-coq to travis ci cabal project file.

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