Equations v1.2 for Coq 8.10

This final version contains mainly bugfixes over 1.2beta2, see announcement for more details.
It has been tested with the 8.10beta1 release of Coq.