unlike previosly, the compilation down/bottm buttons get disabled now even when
coqtop communication is invoked by keyboard shortcuts and events other than clicking down/bottom buttons
This is a useful feedback mechanism when some steps take too long.

Also, added a %age compiled label to GUI. yet to write code to update it