PSFile: Generate PostScript files with Python