Khalifa Sall, Dakar's ex-mayor, pardoned by Senegal president