add migration to update display-name for obo

The symbols of obo-ontologies need an update.
This also pertains to the generation of
the class-hierarchy tree.