Moved Coqtop to it's own file
Fixed import
Added custom context for keybindings