add menhir to coq-builder