configure git global ident for Travis-CI