Create crypto_hashfile_sha512.c