added up down buttons to Proof Panel.
prints coqtop "about" o/p in it when a .v file is opened