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.