Reinstated Menhir as our parser generator. Updated the README file to fit the current dependencies (i.e. removed Batteries).