more or less finished Random Trees refactoring; updated license