feat(emacs/lean-tags): detect and support multiple TAGS

Close #170