README and grammar file

Added more details in README, and added the antlr4 g4 file as the
documentation of grammar.