fix(generate): skip leading copyright block in import prelude#467

kim-em merged 4 commits into

leanprover:mainleanprover/lean-eval:mainfrom

BoltonBailey:fix/generate-copyright-preludeBoltonBailey/lean-eval:fix/generate-copyright-preludeCopy head branch name to clipboard