Travis: This build should work in the container infrastructure.
Travis: This build should work in the container infrastructure.

agacek/tower-camkes-odroid,agacek/tower-camkes-odroid,GaloisInc/tower-camkes-odroid