Close cinnamon-settings on SIGINT signals

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
sound applet: add deadbeef support (closes #1351)

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
fixing keyboard tab nav in looking glass
[panels] make sure auto-hide works when a panel is disabled and enabled (on entering and exiting Scale or Expo)
Scale: on mouse-induced zoom, make the zoomed window selected

If the zoomed window is not made selected the Ctrl+w shortcut will operate on
whatever window happened to be active, which will probably come as a surprise
to the user.
[Scale] let Ctrl+m move the selected window to the next monitor
Scale: on mouse-click, make the clicked window selected

Not all mouse clicks lead to activation. One example is right-click, which
opens the window context menu. It then makes sense to make the clicked window
selected.
[Scale] add support for numeric-keypad Enter key, to work the same as the Return key
[Window Manager] make sure mixing effects for minimizing and mapping work together

In particular, make sure that the combination of desktop-effects-minimize-effect 'fade'
and desktop-effects-map-effect 'none' does not leave the restored window invisible.

This also takes care of the case where desktop effects are temporarily turned off when
restoring a minimized window, which could leave the restored window in a bad state.
sound applet: add support for smplayer

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
Fix menu height for alternate layouts and themes
Account for minimized status in app switcher order

Minimized windows count last. If two windows are minimized, the same
algorithm as before takes over.
Renamed some of the applets
Fixed bug in user applet
Gave desklets icons
Update theme changelog for something that pre-dated the changelog
Prevent Cinnamon from segfaulting when changing the theme
Introduced Sound Effects (functional but incomplete - logout doesn't work - all sounds are the same)
Merge branch 'master' of github.com:linuxmint/Cinnamon
Removed default sounds, fixed sound events, added extra events