Adding solutions for levels 8, 11, and 12
Merge pull request #191 from donmccurdy/master

Adding solutions for levels 8, 11, and 12
Someone328/lv20_solution
correctly disposing of timers in lvl22
Merge branch 'master' of github.com:AlexNisnevich/untrusted
Merge pull request #192 from someone328/master

Someone328/lv20_solution
Update and rename 20_bodssFight.md to 20_bossFight.md
Update 09_fordingTheRiver.md
small fix of 20 lvl solution
Merge pull request #194 from someone328/master

small fix of 20 lvl solution
lvl 16 solution
Merge pull request #195 from someone328/master

lvl 16 solution
colorful lvl13 solution by kerzol
fix #183
fix #189
fix #197
Merge branch 'master' of github.com:AlexNisnevich/untrusted
build