Plexer

Mon Dec 24 11:24:34 CET 2007

Added flag "Plexer.utf8_lexing" to specify that the lexer
built by "Plexer.gmake ()" should take utf8 punctuation
characters into account.