Using Ragel to generate a tokenizer for Nginx log files