Create `github-pages` branch to host the online documentation

The GitHub pages online format is currently hosted in the `main` branch. This is not the best practice because if new changes impact the site negatively, it is harder to return to a stable state. Create instead a `github-pages` branch to host the online documentation, following standard practices.