[Description]
.docker/Dockerfile.mysql: setup for a MySQL server. In this additional
layer database schema is copied to the image and will be populated
during very first run.

.docker/partons-setup-schema.sh: database schema setup script.

.docker/Dockerfile.partons: build and installation of the PARTONS and
support libraries.

.docker/scripts/compile_example.sh: recompilation of the present code.