clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME;