Simple tool for checking the public IP address for my Raspberry Pi with notifications if it changes