masks : fix shape removing

removing shape with right-click doesn't hide the other #9366
shape are not permanently deleted with right-click :
user need to use context-menu in the manager.
mask manager : update icons correctly
lighttable: fix scroll bars.
hdr loading: don't try rawspeed for pfm,hdr,exr

silences a lot of console output.
Merge pull request #214 from darktable-org/lua_review

First real lua merge
mask manager : fix grouping bugs

another fix about shape removing in sub-groups
fix the add exist feature
fix shape parameters when grouping
rawspeed: forgot blackpoint for DMC-GH2 4:3
masks : duplicate masks with history #9381
pfm: don't clamp away large values.
fix compilation without lua
add libluaautoc as a dependency
everything else