Log Message:
Updated devel/menhir to version 20181026

This version contains a lot of small additions and bugfixes, see
CHANGES.md in the distribution.

Also, the mode of distribution has changed; the package is now distributed
through INRIA's gitlab.