feat(frontends/lean/find_cmd): add options for controlling find_decl
feat(frontends/lean/find_cmd): add options for controlling find_decl