feat(emacs/lean-settings): add 'lean-follow-changes' option