Quickly find the IP address of the Raspberry PI in a network with DHCP