Added gcov_flush method to server to allow dumping coverage information