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.