html2ps-0.7.5 released

This update contains several small bugfixes and a new output method: "Compact" PS. Generated PS files are DSC compatible, 2-3 times smaller than the ones generated by the "old" PS output method, and are rendered by printers/ghostscript significantly faster. This requires the presence of font metric files on the server, though (usually packaged with the Ghostscript installation).