Speed up builds by switching to container-based Travis CI