execfs: Enable caching for configs.
execfs: Switch to using sponge instead of homebrewed tool.
vim: Add go syntax highlighting.
vim: Support some more Isabelle syntax.
Merge branch 'master' of github.com:Smattr/mattutils

Conflicts:
	config/.vim/filetype.vim