Migrating Documentation to GitHub Pages

Similar to how many popular libraries handle it, we could consider migrating the documentation to GitHub Pages. A Docusaurus can be set up in the docs folder, and if a change affecting the documentation is pushed to the master branch, a CI pipeline will automatically handle the deployment. In the future, the documentation for the rules could even be generated automatically.