Travis script: git wants a name...

For some reason, travis stopped being happy recently. This helps him build correctly.