scripts/Run uses bash features, set the shebang appropriately

With the shebang set to `#!/bin/sh`, this script fails to run on any box where `/bin/sh` is not a symlink to `/bin/bash` (e.g., any Ubuntu or modern Debian system which uses Dash to provide `/bin/sh`).