Use docker

Docker support for development.

* added Dockerfile to support the creation of Docker containers
* updated README with information on how to setup a Docker container
"default"?