Update Dockerfile and simplify development with boot2docker