Tool for checking the public IP address of personal server, with notifications when it changes