shell-redirector: decide what shell provides /bin/sh

This hack makes the provider of /bin/sh overrideable via an environment
variable (INVOKE_SHELL). This can be useful for instance, when migrating
from bash to dash as default shell provider.