Delete more unused code. Minor fixes, documentation in other places.
Catch exceptions by reference! Changed that at least in all command line tools.