Merge pull request #565 from satsuper/list-numbering

Various list numbering improvements
Code cleanups for issues found with JSLint.
Fix JSLint issues in docnosis.
Fix JSLint issues in programs/benchmark.