A tool to check the public IP address of my Raspberry Pi with notifications when things change