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.