Updated README. Moved BNF to a separate file