Switched to new Travis CI infrastructure (using Docker)