star2html: Prefer pdftops

Seems to be faster and generally more compact than pdf2ps