Added project name to theory IDs
Fixed handling of imported theories after feedback from Nicolas
Added some comments
added project name to theory IDs (again)