Repository tree adjustments to new RM

Adding new features based on the new, rewritten repo manager. This should contain some refactoring as well Maybe not only the repo tree, but also dependent views.

- [ ] added the close action: when a repository is closed, apparently some artifacts remain in memory from other models (e.g. history). These need to know still about the closed repo. Also MGV crashes here occasionally - might be the repo pointer given on destruction.