Geomaps: the geocoder can be swicthed off (#641).

Geocoding can be switched off on a per-request basis by adding a "dm4_no_geocoding" cookie with value "true" to the request. By default (when no such cookie is present) geocoding is on.

See #641.