Rename PRIVATE_APP_CONFIG_DIR to PERSONAL.
Dockerfile: Revise instructions on how to use devbox.

Now using boot2docker.