Changed the default user agent to more common format (#89).

This let google render it's search page in the new design. And it seems that
it's now common to put the real user agent name near to the end of the string.