Add a development docker build image
The produced image contains the required tools to build a fairly reasonable environment. The image is built and run in order to integrate smoothly the developer's environment.
Obviously a proper installation of Docker is required.