Set 'User-Agent' header on HTTP connections.

Setting the 'User-Agent' header helps server administrators
identify which traffic is coming from Osmosis, and helps avoid
some disadvantages of using the plain Java identifier such as
setting off poorly configured IDS warnings.
Merge pull request #12 from zerebubuth/http-user-agent

Set 'User-Agent' header on HTTP connections.