Axel

Add features: use goal count information printed at top of goals buffer in modeline, clear the goal window when proof is skipped (abort, admitted...).

10

In response to issues #605 and #168, I moved the information of current goal to the *goals* buffer modeline (to save some space and visibility basically), and cleared the *goals*...