lint + Coverity
Merge pull request #803 from wiredtiger/lint

Coverity + lint