Add dedukti-mode