Bump stdpp.

7 jobs for master in 15 minutes and 1 second (queued for 2 seconds)