UPDATE: added an introduction to docker

Tiny tutorial to introduce docker.