Remove program key maps

Started by systemd, simplifies xmonad bindings
Add dropbox service
Set Coq syntax highlighting
Merge branch 'master' into zaalbar