Use new Docker based Travis-CI