[osx] use vkill
tweak backup dir regex
formatting
configure load path in init.el
[coq] snippets