[CLEANING] Hello World! I'm the garbage collector!
Merge branch 'master' of https://github.com/juliandt/nachos