Add coverage-building to the doc Makefile, and reinstate the explicit PYTHON commands when running Python doc-building scripts (shouldn't be necessary, but Mac SIP or other behaviours mean that it causes trouble for at least Chris G)