Don't need optimization on Travis for now
Don't need optimization on Travis for now

We may want it later if we use Travis for distributions

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