Import comorphisms between logics and not between sublogics

With this change, when importing the logic graph, the system will associate comorphisms (or LogicMappings) to general logics and not to the specific sublogics. The desired end effect is that only the general logics are stored in the database and displayed in the logics page and that the list of mappings for a general logic contains all comorphisms related to its sublogics.