Action for building the documentation, pushing the resulting static html on the `gh-pages` branch. Need to wait on #5.
