added coqtop xml interaction util