Add some plugins and modify key bindings
Deactivate tmux auto launching, and add opam
Add syntax file for CIL