Move ssreflect hacks to stdpp

It might be good to create a file ssreflect.v that fixes the global state of ssrflect, i.e., what's in https://gitlab.mpi-sws.org/iris/iris/-/blob/master/iris/prelude/prelude.v