extras/tools: Add /dev/stdin to sha512sum command

This is needed with the sha512sum introduced on recent macOS versions and also matches whats done for contribs.

Should be back-ported to 3.x if accepted.