Add flycheck-dedukti
Merge pull request #2048 from rafoo/master

Add flycheck-dedukti