profiling: destroy mutexes used for worker stats at shutdown

src/core/workers.c

@@ -1529,6 +1529,8 @@ void starpu_shutdown(void)
 	starpu_profiling_bus_helper_display_summary();
 	starpu_profiling_worker_helper_display_summary();
 
+	_starpu_profiling_terminate();
+
 	_starpu_deinitialize_registered_performance_models();
 
 	_starpu_watchdog_shutdown();

src/profiling/profiling.c

@@ -129,7 +129,12 @@ void _starpu_profiling_init(void)
 
 void _starpu_profiling_terminate(void)
 {
+	int worker;
 
+	for (worker = 0; worker < STARPU_NMAXWORKERS; worker++)
+	{
+		STARPU_PTHREAD_MUTEX_DESTROY(&worker_info_mutex[worker]);
+	}
 }
 
 /*