Make user name in GerritChangeSource optional.

The user name is not required and defaults to the .ssh/config
file content.
Oh, well, apparently I mis-remembered our policy.  Leave it in!  I'll adjust that page to discourage, but not prohibit, that line.