pg.py: add --encoding to override pygrader.ENCODING if you don't like UTF-8.