A modification of dk.brics.automaton that enables its use as a lexer