Docker files for automated debian build environment