Dockerfile for a Debian 7 package build environment.  See