Add flycheck-dedukti