more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);