Use bash for mkdisk.sh to have pushd and popd

[muelli]

On my system, pushd and popd are bash internals, so let's make the script use bash.

[Phaeilo]

Nice hack! This script is awful for portability, I think long term it should just be put into an alpine container, which would make a bunch of things less awkward to do.