Fixes issue #13  : The set of considered ontologies can be altered, and the matchings spaces are updated accordingly