Update s2n travis configuration to awslabs master. (#636)
Update s2n travis configuration to awslabs master. (#636)


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