use TravisCI docker builds