Making the whois.py file executable