fix(emacs/lean-type): improve displaying proof state messages

 - Do not repeat the same message
 - Do not display the empty message
 - Do not display "[stale]" for proof states