rename namespace -> invariants, global_cmra -> ghost_ownership

_CoqProject

@@ -54,7 +54,7 @@ program_logic/model.v
 program_logic/adequacy.v
 program_logic/hoare_lifting.v
 program_logic/lifting.v
-program_logic/namespace.v
+program_logic/invariants.v
 program_logic/viewshifts.v
 program_logic/wsat.v
 program_logic/ownership.v
@@ -64,7 +64,7 @@ program_logic/resources.v
 program_logic/hoare.v
 program_logic/language.v
 program_logic/tests.v
-program_logic/global_cmra.v
+program_logic/ghost_ownership.v
 heap_lang/heap_lang.v
 heap_lang/heap_lang_tactics.v
 heap_lang/lifting.v