A modern mail client written in Ada with a focus on security