fixed glitch in JFlex example
removed redundant postscript file
the chapter on jflex is now based on version 1.6.0 of JFlex