Initial release

Full Changelog: https://github.com/ThreeFx/isabelle.vim/commits/v0.1.0

This is an experimental plugin to use Isabelle with vim. It is based on the coc.nvim plugin, which is a full blown NodeJS server that is essentially a VSCode reimplementation for neovim. Future releases may use a different, less invasive plugin.