Build the docs in CI and then commit to the `gh-pages` branch so that the web site is updated. This is the PR for installing a ssh deploy key input-output-hk/iohk-ops#549.