Add flycheck-dedukti

Hello,

I have taken apart from dedukti-mode the part dealing with Flycheck integration so that the user can use the rest of dedukti-mode without having to use Flycheck.

This package defines a flycheck checker for the Dedukti language. I'm its author.

I have installed it with sandboxing and it works well.

Regards,

-- 
rafoo