Tool for checking the public IP address of Raspberry Pi with notifications when this changes