set up different Dockerfiles for dev and master