Add working sha512.py.

Add working sha512.py; use sha256.py as template, and followed
http://en.wikipedia.org/wiki/SHA-2 instructions on conversion to
SHA-512; used https://polarssl.org/sha-512-source-code as a reference,
as wiki hadn't listed the different hash constants.