Added instructions on using koch to compile nimrod with GDB support.