Hash: add sha256-96 and sha512-96

IPSec uses them and some versions of OpenSSH use them (even though RFC6668 makes no mention of them)
Err, yes, you are correct.