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