Use grounded names when renaming in stratification

[kkaris]

This PR allows the automatically generated stratification names to be more human friendly by passing through a mapping from calling the stratify function down to where the renaming happens: in the the concept.with_context method.

Tests are added for both the stratify module and for the model api.

When calling the stratify endpoint, a user can provide the name mapping or if no mapping is provided a lazy attempt to map from curies to entity names is done. If the curie mapping also fails, the behavior prior to this PR is expected.

Example

from mira.metamodel.ops import stratify
from mira.examples.sir import sir_parameterized
cities = [
    "geonames:5128581",  # NYC
    "geonames:4930956",  # boston
]
stratified_model = stratify(sir_parameterized, key="city", strata=cities, cartesian_control=False, directed=False)
print(stratified_model.templates[0].controller)
# > name='infected_population_geonames_4930956' display_name=None description=None identifiers={'ido': '0000511'} context={'city': 'geonames:4930956'} units=None

[cthoyt]

maybe we should add a is_curie function somewhere that can be used in here to make this code more obvious what it's doing

[bgyori]

Looks good, thanks!