restructuring
0b6843a3 · Don't clone clmark anymore in Docker image. ·