fix bug in code generation for x => pat clauses
Merge branch 'master' into coq-semantics
Create COPYING
Merge commit 'd41139a51b4dfcb5ac44b80c10f966474746d05d' into coq-semantics