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.
Merge pull request #1865 from ruediger/envbash

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