Add a version range to SARL.

According to the semantics of the components of the version number of
Janus, we apply a version range on SARL.
Indeed, if the version of Janus is A.B.C.D, it means that it is
supporting all the versions of SARL from B.C.0 inclusive to B.(C+1).0
exclusive.