Changed Travis CI config to enable faster builds (on the new Docker containers).