Dedukti 2.7

• Rewriting modulo ACU (experimental)
• New API
• New command line interface
• Bugs fixed
• Add Universo: a tool to manipulate universes with Dedukti

Dedukti 2.6.0

• New commands defined
• Syntax updated
• Compilation process improved
• Bugs fixed