Undefined index: HTTP_USER_AGENT (fix)

Returns a undefined index. The User-Agent header is optional.
Merge pull request #1 from ovdsteen/patch-1

Undefined index: HTTP_USER_AGENT (fix)