[dedukti.el] Formating for package.el