Move flycheck integration to its own package: flycheck-dedukti
Put requirements at the beggining
Autoloading a generic mode is not enough to add the mode to auto-mode-alist