I've made a small patch to allow to set a custom user agent. Actually I've done that only for the GTK Webkit interface.
Created attachment 24101 [details]
User Agent setting for the GTK interface
Hi Marco! Can you please coordinate with Christian regarding this? There's another bug #17375 like this and that one has more feedback in it.
*** This bug has been marked as a duplicate of 17375 ***