Add TheDiskOfPhaistos submodule
Dockerfile copies disk_of_phaistos