Good-bye, ugly mega-Makefile. Docker can now be built with docker, with the help of a simple very simple shell script.