star2html: Enable PDF building

Despite commenting on this in #5 I had forgotten that star2html
explicitly requests a postscript output file.
star2html: Install MUD document as PDF instead of gzipped postscript

For consistency.