Emacs major mode for Dedukti files