Update Travis configuration
Update Travis configuration

Include GHC 8.6.3 and clarify submodules

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