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