Mali, França, intervenção, Operação Cerval, islâmicos, África, Argélia, Líbia