PGMReader.java: add ppm and pbm to list of acceptable file extensions.