Remove core

iris/algebra/agree.v

iris/algebra/auth.v

iris/algebra/category/morphism.v

iris/algebra/cmra.v

iris/algebra/coPset.v

iris/algebra/csum.v

iris/algebra/dfrac.v

iris/algebra/excl.v

iris/algebra/frac.v

iris/algebra/functions.v

iris/algebra/gmap.v

iris/algebra/gset.v

iris/algebra/lib/mono_nat.v

iris/algebra/numbers.v

iris/algebra/proofmode_classes.v

iris/algebra/reservation_map.v

iris/algebra/updates.v

iris/algebra/view.v

iris/base_logic/bi.v

iris/base_logic/derived.v