Tool that converts a PostScript type1 font into a corresponding TeX PK font
