Allow to specify sha512sum for input_files

Some input files (e.g., the macOS SDK) have a public sha512sum rather than sha256.

It'd be nice if we could specify that instead of the sha256.