Improve doc generation.

Make the generation of ucampas fodder be a compile-time thing rather than configure-time and drop the requirement for ${HEADER} and ${FOOTER} in every input HTML file.
Add TESLA logo to documentation website.
New test: does determinisation clobber cleanup?