'idris' is a group, name the checker idris-checker instead fixes #258