Fix scripting in docs builds

The scripts for the docs CI was set up to build the documentation (doxygen and user's guide) during the before_script stage. This was a hack so that different versions of the docs could post the built pages during the script phase. However, this causes problems with running in reproduce_ci_env.py.

Instead, move the actual building of documentation to the script stage.