update config for Travis CI to use new Docker setup