Adding a Markdown Linter to Repo

[gkunz]

I propose adding a markdown linter as a GitHub action to the repository, for instance the GitHub SuperLinter [1]. Initially, the linter would only check the book, but depending on our experiences with it, we can extend it to the entire repository.

[1] https://github.com/super-linter/super-linter