GitHub PR: updated to the newest minor version of some of the docker images

Open Markus Scheidgen requested to merge github-43-BlackLotus-develop into develop

Original pull request on GitHub: https://github.com/nomad-coe/nomad/pull/43

Merge request reports