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.