This licence is a copy from the GPL licence, with the noticeable difference
that, in Section 3, the "preferred form of the work for making modifications
to it" does not apply to the donkey/donkey.lam file of the distribution.