feat: add --ignore-missing flag to skip missing declarations#36

hargoniX merged 3 commits into

leanprover:masterleanprover/lean4export:masterfrom

augustepoiroux:ignore-missingaugustepoiroux/lean4export:ignore-missingCopy head branch name to clipboard