To bootstrap from github, you have to do:

* <code>./build.sh</code> or <code>build.bat</code> (Windows)
* <code>nimrod c koch</code>
* <code>koch boot [-d:release]</code>