Travis-CI: configure GIT from depot_tools