compcert: fix build by adding menhir dependency

Signed-off-by: Austin Seipp <aseipp@pobox.com>
arcanist: Fix this because how did it work

Signed-off-by: Austin Seipp <aseipp@pobox.com>