feat(emacs/lean-settings): add 'lean-follow-changes' option
fix(frontends/lean/info_manager): std::set insert is a noop if set already contains an equivalent element