better document Terminals.tokenizer()
pattern.toScanner(name)
Pattern.toScanner() to deprecate Scanners.pattern()
deprecated all Scanner methods with extra name parameter