New exercise navigator, based on JTree.

It deprecates the old one, that is not killed yet