Rework and fix CI coverage report generation

Description

Coverage report generation has mistakenly been broken by !56 (merged). That fails the entire CI pipeline and should be fixed.

Changes proposed in this merge request:

Have documentation and coverage jobs operating in the post stage and move pages to a new deploy stage so that we can have proper job dependency graph and combine coverage results safely.