Add connection debugging

src/drivers/mic/driver_mic_common.c

@@ -80,11 +80,13 @@ void _starpu_mic_common_connect(scif_epd_t *endpoint, uint16_t remote_node,
 	if ((scif_bind(*endpoint, local_port_number)) < 0)
 		STARPU_MIC_COMMON_REPORT_SCIF_ERROR(errno);
 
+	_STARPU_DEBUG("Connecting to MIC %d on %d:%d...\n", remote_node, local_port_number, remote_port_number);
 	while (scif_connect(*endpoint, &portID) != 0)
 	{
 		if (errno != ECONNREFUSED)
 			STARPU_MIC_COMMON_REPORT_SCIF_ERROR(errno);
 	}
+	_STARPU_DEBUG("done\n");
 }
 
 /* Wait and accept the connection from the wanted device on the port PORT_NUMBER