Updated command line information in README file to mention the new --dumpAST option