Flycheck integration for the dedukti language