Dockerfiles with other files stored in branches: p9, p10 and sisyphus.

New images could be created via mkdocker.py.

To push images docker login could be needed. To build and push all images for all branches run ./build.sh.