transfer proof attempts along ontology changes

[tillmo]

When I change an ontology, ontohub deletes all its proof attempts and their settings. After all, in general they have become invalid. However, ontohub should try to transfer all these data to the new ontology version, such that I do not have to reenter all this stuff. (Ontohub even could try to replay all the proofs, maybe depending on a setting of the repository.)