dist: add Dockerfile for docker builder container
Merge pull request #1637 from kaspar030/docker

dist: add Dockerfile for docker builder container