Switch to Travis-CI's container-based infrastructure