Final release of code for end of Fall 2013 semester.  Any changes done
after this commit will be on my own.

In fact, any changes should be in a separate branch.

Final code beautification and cleaning up of loose comments that are no
longer relevant.