coqtop interactions moved to class Coqtop
Updated Coqtop.send description