Update menhir to version 20130115