Include an automatic push of the built documentation.

Further to my comment in !17 (comment 2907032), I'm including a sphinx build of the existing documentation as part of the continuous integration.

There is no functional change included with this MR, so I will self-assign and merge when green.