Copyright for menhir source package in Quantal