A lightweight IP/rDNS/user agent script written in Python