Use Digest::SHA instead of Digest::SHA1.

It's more widely available apparently, and in particular it's
in the updated MinGW DTK perl, which means it can now run the scripts
with no additional modules. That means we might be able to get
rid entirely of run_web_txn.pl and aux_path.