Update to newer M2-ISA-R version

[PhilippvK]

M2-ISA-R changed the way how the Metamodel is stored on disc, including version information about the schema. Seal5 should make use of that. I will try to add detections to warn users who still have the older versions of m2-isa-r installed which will not be supported anymore.