Remove moved (and duplicated) LinterContextProps

[jeremywiebe]

Summary:

I noticed that we have two identical versions of LinterContextProps. It was moved into the perseus-linter package, but I suspect a merge resolution brought back the deleted copy.

This PR deletes it again out of @khanacademy/perseus and updates imports to use the one that lives in @khanacademy/perseus-linter

Issue: "none"

Test plan:

yarn test
yarn typecheck

[changeset-bot]

🦋 Changeset detected

Latest commit: 4cbfdec

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 2 packages

Name	Type
@khanacademy/perseus	Major
@khanacademy/perseus-editor	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[khan-actions-bot]

Gerald

Required Reviewers

• @Khan/perseus for changes to .changeset/purple-pianos-jog.md, packages/perseus/src/hint-renderer.tsx, packages/perseus/src/index.ts, packages/perseus/src/item-renderer.tsx, packages/perseus/src/renderer.tsx, packages/perseus/src/types.ts, packages/perseus/src/widget-container.tsx, packages/perseus/src/components/input-with-examples.tsx, packages/perseus/src/components/sortable.tsx, packages/perseus/src/widgets/passage-ref.tsx

---

Don't want to be involved in this pull request? Comment #removeme and we won't notify you of further changes.

[github-actions]

Size Change: 0 B

Total Size: 846 kB

ℹ️ View Unchanged

Filename	Size
packages/kas/dist/es/index.js	38 kB
packages/kmath/dist/es/index.js	4.12 kB
packages/math-input/dist/es/index.js	102 kB
packages/perseus-core/dist/es/index.js	55 B
packages/perseus-editor/dist/es/index.js	268 kB
packages/perseus-error/dist/es/index.js	705 B
packages/perseus-linter/dist/es/index.js	21.2 kB
packages/perseus/dist/es/index.js	396 kB
packages/pure-markdown/dist/es/index.js	3.64 kB
packages/simple-markdown/dist/es/index.js	12.6 kB

_{compressed-size-action}

[coveralls]

coverage: 69.329% (+0.004%) from 69.325% when pulling 4cbfdec on linter-context into 7b11736 on main.

[handeyeco]

👏 Good catch

[github-actions]

npm Snapshot: Published

🎉 Good news!! We've packaged up the latest commit from this PR (61c83f8) and published it to npm. You
can install it using the tag PR674.

Example:

yarn add @khanacademy/perseus@PR674