Improve the README.md

The changes are mostly cosmetical in that they are intended to improve the readability of the README without changing the content.
The only exception to this is in the section "Local testing in Docker", where the separate `docker build` invocations have been replaced with a single `./build_all.bash` invocation.