Added the BNF of oberon2, and implemented a BNF parser