Python script to update DNS records managed by Gandi. Useful for home servers with dynamic IP addresses.