Adds documentation about koch.
Updates list of files to build in doc directory.
Removes accidental module docstring.
Mentions useFFI and garbage collector options.
Merge branch 'pr_documents_koch' of git://github.com/gradha/Nimrod into gradha-pr_documents_koch

Conflicts:
	web/nimrod.ini
Merge pull request #1237 from Varriount/gradha-pr_documents_koch

Gradha pr documents koch