Created sublimecoq.py. Plugin for interfacing with coqtop.