new Dockerfile with puppet for debian docker image