sha512.c, etc.: Provide `sha512' as a hash function for signing.