Creates a -common package to hold arch-indep files
make GSettingsSpinButton aware of ranges defined in the schema
add a range for panel heights with a minimum of 20px
[Workspace OSD] Limit min/max right/bottom position.
better workspace osd positioning
Merge pull request #4 from autarkper/cobidev-gsettings-range

[Workspace OSD] Limit maximum right/bottom position.
adjusting range for workspace-osd-x to the range of workspace-osd-y, in agreement with @autarkper
Rebased from https://github.com/linuxmint/Cinnamon/pull/1293
Optimize svg files ws-switch-arrows

Remove elements hidden under other elements
**The files visually differ but only slightly.**

data/theme/ws-switch-arrow-down.svg Change size from 13365 to 400 bytes.(02.99% of original size)
data/theme/ws-switch-arrow-up.svg   Change size from 16622 to 391 bytes.(02.35% of original size)

Total 02.64% of original size.
29196 bytes saved.
 Optimize svg files toggle buttons

**Some files visually differ but only slightly.**

data/theme/toggle-off-us.svg   Change size from 37237 to 7779 bytes.(20.89% of original size)
                               *This file visually differs. The gradiant near the 'off' merges better with the background.*
data/theme/toggle-off-intl.svg Change size from 32716 to 4671 bytes.(14.27% of original size)
data/theme/toggle-on-us.svg    Change size from 53228 to 7479 bytes.(14.05% of original size)
                               *This file visually differs. The gradiant near the 'on' is slightly shifted*
data/theme/toggle-on-intl.svg  Change size from 49391 to 4907 bytes.(09.93%  of original size)

Total 16.27% of original size.
127736 bytes saved.
Optimize svg files data/theme/s*.svg

data/theme/source-button-border.svg Change size from 2075 to 229 bytes.(11.03% of original size)
data/theme/scroll-vhandle.svg       Change size from 2184 to 353 bytes.(01.61% of original size)
data/theme/scroll-hhandle.svg       Change size from 2134 to 353 bytes.(01.65% of original size)

Total 14.62% of original size.
5458 bytes saved.
fixed indentation problem
Optimize svg files data/theme/r*.svg

data/theme/radiobutton.svg       Change size from 3801 to 763  bytes.(20.07% of original size)
data/theme/radiobutton-off.svg   Change size from 4202 to 1034 bytes.(24.60% of original size)
data/theme/running-indicator.svg Change size from 4044 to 1042 bytes.(25.76% of original size)

Total 23.56% of original size.
9208 bytes saved.
Move pointer to opposite edge on edge flip
Make edge flip delay configurable
Fix edge flipping on outermost workspaces
Optimize svg file data/theme/process-working.svg

**This change may cause a regression.**

data/theme/process-working.svg Change size from 10056 to 2101 bytes.(20.89% of original size)

Total 20.89% of original size.
7955 bytes saved.
Optimize svg files player status

data/theme/player-paused.svg  Change size from 9842 to 611 bytes.(06.20% of original size)
data/theme/player-playing.svg Change size from 9845 to 727 bytes.(07.38% of original size)
data/theme/player-stopped.svg Change size from 9835 to 539 bytes.(05.48% of original size)

Total 06.35% of original size.
27645 bytes saved.
Optimize svg files data/theme/panel*.svg

data/theme/panel-border.svg                  Change size from 787  to 273 bytes.(34.68% of original size)
data/theme/panel-button-border.svg           Change size from 2064 to 228 bytes.(11.04% of original size)
data/theme/panel-button-highlight-narrow.svg Change size from 3589 to 544 bytes.(15.15% of original size)
data/theme/panel-button-highlight-wide.svg   Change size from 3577 to 536 bytes.(14.98% of original size)

Total 15.78% of original size.
8436 bytes saved.
Optimize svg files data/theme/filter-selected*.svg
**These files visually differ but only slightly**

data/theme/filter-selected-rtl.svg Change size from 2718 to 220 bytes.(08.09% of original size)
data/theme/filter-selected-ltr.svg Change size from 2700 to 219 bytes.(08.11% of original size)

Total 08.10% of original size.
4979 bytes saved.