Travis: configuring Git for running in Travis CI