Portable bash shebangs

This change makes bash scripts more portable by using `#!/usr/bin/env bash` shebangs instead of just `#!/bin/bash`, which only is common in GNU/Linux systems, but not other Unix-like systems. Currently supported systems will most likely remain completely unaffected by this change.