README: Language in TODOs
README: We require tyxml's dev version
README: Proper capitalization
README: Menhir dep