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. Thanks
*** This bug has been marked as a duplicate of 17375 ***