Docker file for dev environment