SERVER-10808 add __gcov_flush() call on exit

Signed-off-by: Matt Kangas <matt.kangas@mongodb.com>