refactor super-coq.
display color at in 'proof-undo-last-successful-command partially in super-coq.