Use container-based Travis builds#488

peterschrammel merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:container-travistautschnig/cbmc:container-travisCopy head branch name to clipboard