Update EventB EMF version ranges to allow version 7

Despite the major version bump, the EMF model and Java API *seem* to be
backwards-compatible, at least for our purposes.

This fixes the version conflict that prevented installing Camille
together with current versions of CamilleX.