DEPS: add menhir