A GitHub hosted version of the FMI Checker code