Bump version of stdpp
This is necessary for https://github.com/coq/coq/pull/18164 (Remove some deprecated Arith files, some very small change in stdpp needs to be done)
I'm not an opam expert so I'm not sure it's what needs to be done. Also, to be honest, I would prefer if iris just targeted the dev version of stdpp instead of a commit.