Build files
Add menhir usage to _tags file