Default user agent for prioxy service when none is available
Default user agent for prioxy service when none is available

Default user agent for the proxy service is now "Mapbender3", which is
assumed when no user agent is available from the $_SERVER variable

mapbender/mapbender-printclient,mapbender/mapbender-printclient,mapbender/mapbender-printclient