Build using Docker

This should result in quicker builds.

http://blog.travis-ci.com/2014-12-17-faster-builds-with-container-based-infrastructure/

Last build before change: 2 min 55 sec
First build after change: 1 min 41 sec