fix(emacs/lean-info): print stale when info is available

fix #127