Refactored code so variables stored in CoqtopManager
Prevents basic backspace and delete in highlighted regions
updated keybindings
adding windows and osx support
loads init file on linux
Merge branch 'master' of https://github.com/mkolosick/Sublime-Coq