Add cmd line option to set user agent. Improves github when used.

Fixes #3455