Take advantage of docker in travis

- See http://blog.travis-ci.com/2014-12-17-faster-builds-with-container-based-infrastructure/
Merge branch 'hotfix/travis-docker' into develop

Use docker-enabled travis builds