coverity: switch to bash instead of sh

The coverity.sh script uses popd/push, which are not available from /bin/sh.
I actually really wonder why that script seems to work for coverity under
/bin/sh...