Switch to Docker based Travis builds

This should give us 4GB of memory instead of 3GB and also more CPU
resources