Work around Event-B EMF bug that broke adding a variant

Modifying an already existing variant worked, but when adding a new
variant to a machine that didn't have one, Rodin complained that the
variant has an empty label.

This fix requires increasing the minimum Event-B EMF version to
guarantee that Variant.setName exists.