vim: Add some more CAmkES syntax.
vim: Add some more Isabelle syntax.
Move `wim` to a script to make it available outside zsh.
Merge branch 'master' of github.com:Smattr/mattutils