Set up markdown linter or formatter in CI

[qobilidop]

Currently the lack of markdown linter is causing some troubles when importing code to Google. We should ideally update format.sh to also format markdown files, or at least set up a linter in CI.