Copyright for menhir source package in Wily