making the User-Agent HTTP header configurable by system property user.agent patch supplied by Tony Likhite