fix(emacs/lean-util): fix lean-path-list to only include existing dirs

Fix #246