This allows developers to change the shell from /bin/bash to any other when executing `dokku enter` or pre/post deployment tasks. Ideally we could detect the shells available, but that is slow and potentially error prone. Closes #2572