Docker.md

# Introduction

Add your content here.


# Details

  * run `make docker` to enter the pre-built docker container.
  * run `make local-docker` to build a new local docker image.
  * the 'docker' user must be able to read your source tree.

  * Use http://askubuntu.com/questions/477551/how-can-i-use-docker-without-sudo so you don't have to use root to access the container.