Add creation of SHA512 checksum to dist