Docker fixes

Fixes compatibility with bash and makes the documentation more clear.

Should fix problems reported at Twister.