Add bash hashbang

So sh does not get used on jenkins

Signed-off-by: Michael Fraenkel <fraenkel@us.ibm.com>
Auto-merge remote-tracking branch 'upstream/master'