Build docs on CI

Need to add CI to build the docs and deploy them to GitHub Pages.

Probably write a `Jenkinsfile` for that and trigger the process manually from time to time? Its task will be to collect the latest commit from the `develop` branch (if another optional commit message is not defined), and then commit and push the regenerated documentation into `gh-pages` branch.
