More pretty-printing
Dockerfile added