Equations v1.2.1 for Coq 8.10

This is mainly a bugfix release of v1.2 including:

• A version of the plugin working with the HoTT library
• Fixing the global export of Set Keyed Unification that broke users developments.
• Fix an undeclared universe anomaly in principle generation code.