Opération Serval, Barkhane, Sangaris