Migrate to docker based travis build

See http://blog.travis-ci.com/2014-12-17-faster-builds-with-container-based-infrastructure/ for further info.