Rename `dedukti-command' to `dedukti-path' because it is not a command
in the sense of lisp
Merge zamok:www/git/dedukti-mode
Merge branch 'master' of https://github.com/rafoo/dedukti-mode
Add a custom variable for choosing the type of reduction (head, weak or strong)