Move a bit closer to HTML generation without depending on the temp files

being in the current directory.

Be more careful cleaning up.

Correct an error in a comment.

Add recent additions to the dependencies for lib.dvi.