NetLogo extension for determining the user's local IP