In order for the coverage instrumentation to write out the gcda files when mongod, mongos, or the unit tests exit, __gcov_flush() needs to be called.

The call should only be made if the code was built with the --gcov option to scons.