Add markdown linter to style check (CI)

This adds configuration files for markdownlint, reformats markdown files
and also updated the configuration of the CI.