માલીમાં અલકાયદાના 30 આતંકી ઠાર, ફ્રાંસની સેનાની મોટી કાર્યવાહી