Update stdpp

Merged Michael Sammler requested to merge msammler/update-stdpp into master

Merge request reports