Revert "Use new Travis CI infrastructure"

This reverts commit 6afd82be5df214e595d0f610995f4537b236a23c.