More support for building the documentation for the website.

doc/Mmakefile:
    Exit and report an error if the VERSION is "DEV".

    Add clean targets

    Make several other changes so that 'mmake webpage.tar.gz" works after
    "mmake distclean".