Update Travis configuration
Update Travis configuration

Use GHC 8.4.3 instead of 8.4.2, and skip GHC 8.2.2 for now.

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