This diff adds a docker file to setup a build container. This will make
it easier for users to build the software on systems for which we don't
provide instructions, or don't meet the requirements for some
dependency. This will be made available via docker hub.
The dependencies installation is extracted from the CI setup script, so
there is a single file to maintain and we will know immediately if
something is missing.