Lint the documentation using vale

Implement a basic config for linting the HTMLs to find style issues in the documentation. Gitlab comes with vale support, so it a matter of adding a vale.ini config file to the project, along with the styles that you want to check for in the documentation.