Change bash shebang to use /usr/bin/env.

That makes those scripts usable on systems where GNU bash is not in
/bin/.  E.g., NixOS.