SERVER-16342: remove some snapshot global data that doesn't make sense any more
SERVER-16342: formatting of top.
SERVER-16119: faster WT shutdown race avoidance
SERVER-15595: fix devnull engine and add a test
Merge remote-tracking branch 'upstream/master'