Code cleanups for issues found with JSLint.
Fix JSLint issues in docnosis.
Fix JSLint issues in programs/benchmark.