A Simple and Robust JavaScript Lexer