README: introduction to short lexer tutorial.