Travis: make git faster and quieter