Dockerfile is generated ... but for convinience keep it under git control