remove some files that are no longer used

formalizations/guarded-cubical/Results/Coinductive.agda

...izations/guarded-cubical/Results/IntensionalAdequacy.agda

formalizations/guarded-cubical/Semantics/Concrete/Dyn.agda

...alizations/guarded-cubical/Semantics/Concrete/DynNew.agda

...ations/guarded-cubical/Semantics/Concrete/PosetModel.agda

formalizations/guarded-cubical/Semantics/Global.agda

...tions/guarded-cubical/Semantics/PredomainInternalHom.agda

formalizations/guarded-cubical/Semantics/Predomains.agda

...ns/guarded-cubical/Semantics/RepresentationSemantics.agda

formalizations/guarded-cubical/Semantics/Semantics.agda

...zations/guarded-cubical/Semantics/StrongBisimulation.agda

formalizations/guarded-cubical/Syntax/Normalization.agda