Move document-lint from circleci to github-actions. Adjust document according to markdownlint-cli rules.