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
SERVER-15595 fix unittest link error