reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor
reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle