Augmenting417 link ontology versions and file versions

This branch is based on correcting412_download_of_ontologies_does_not_work (otherwise it would have introduced conflicts) and adds links between a file's history and the ontology version index (see #417).