Use faster Travis docker deployment

This is a test of Travis's faster docker deployment. It will probably fail.