Travis: Configure git username, which opam 1.2.0 needs