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