better document Terminals.tokenizer()
pattern.toScanner(name)
Pattern.toScanner() to deprecate Scanners.pattern()
deprecated all Scanner methods with extra name parameter
Removed ErrorType.EXPECT, duplicate with EXPECTED; removed TRAP, doesn't seem all that useful. never() can just return false without doing anything.
unused code removed
Addressed most compilation warnings
Merge branch 'master' into gh-pages
new javadoc