Add maximum axiom to pcore

iris/algebra/agree.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/gmap.v

iris/algebra/gmultiset.v

iris/algebra/gset.v

iris/algebra/mra.v

iris/algebra/numbers.v

iris/algebra/reservation_map.v

iris/algebra/sts.v

iris/algebra/ufrac.v

iris_unstable/algebra/list.v

tests/ipm_paper.v