Travis: Fast finish and workaround to clone git repos