DESAT: A Solar SoftWare tool for image de-saturation in the Atmospheric Image Assembly onboard the Solar Dynamics Observatory