fix serialization bug
more tests
print output in coqide window
more vernac commands