updated readme to have nicely formatted bnf grammar rules