Make emacs cursor not blink
Fix git aliases

Accidentally the formating
Fix c++11 syntax highlighting
Add buffer movment keys again
Remove useless vim addon
Merge branch 'master' into chewbacca
Add dropbox service
Set Coq syntax highlighting
Merge branch 'master' into chewbacca