Documentation linting (spellchecker, formatter for md files)

[Benehiko]

We need a CI linter on PRs for documentation - anything ending in a .md extension.

It should check:

• Spelling
• Grammar
• Formatting

It should run as a CI job (following the pattern of existing jobs) and probably also be a make command so we can run it locally.