Define the checker appropriately at top-level.

The checker now needs to be setup by

(eval-after-load 'flycheck '(require flycheck-dedukti))
(add-hook 'dedukti-mode-hook 'flycheck-mode)