Dockerfile: update instructions for using devbox.