Add ogcproxyUrl to gaGlobalOptions
Merge pull request #1063 from geoadmin/fix_proxy

Add ogcproxyUrl to gaGlobalOptions