Defines a flycheck based syntax checker that works with both
Overture and VDMJ