Changes

Summary

1. theory_name based on session_directories: no need for expensive all_known;
2. clarified session_directories: relative to session_path, with overlapping information;
3. clarified signature: retain global session information, unaffected by later restriction;
4. disable fragile options for now;
5. avoid overlapping session directories;
6. support for explicit session directories;