coda: update the readme file to reflect the addition of the coda

Signed-off-by: Peter Williams <pwil3058@gmail.com>
specification: remove some restrictions on production rule content

Signed-off-by: Peter Williams <pwil3058@gmail.com>
grammar: remove "unused symbol" warning for the start symbol

Signed-off-by: Peter Williams <pwil3058@gmail.com>