Add option to filter images drawn on map

This reduces the images drawn on the map to the current collection/
filter, increasing the performance and reducing the mess on the map when
many images are geotagged within the current map section.
Also, changing map preferences doesn't require a restart any more.
use memory.collected_images for map view filter
removed superfluous loop index
introduce signal DT_SIGNAL_PREFERENCES_CHANGE
Small cleanups of the latest maps changes

Take care of
- typos,
- formatting,
- the unused proxy function,
- make the generated SQL query less ugly
Call reload_defaults when duplicating an instance

... since at least profiled denoise sets its GUI in that callback.
Fixes #9462.
Don't reset mouse_over_id when cursor not over filmstrip

Fixes #9933.
It's important to match g_malloc() with g_free() and plain malloc() with free()
See https://developer.gnome.org/glib/2.39/glib-Memory-Allocation.html
adobe_coeff: no longer automatically derived from dcraw

remove dcraw related stuff

dcraw's matrices depend on very fuzzy matching which with
some recurrence causes regressions.

we're going to maintain adobe_coeff ourselves :(
Fix histogram double-click (initially reported by Roumano in darktable-devel ML)