Teach setup.py to install our torhttpproxy as an executable script

-also added a .gitignore
Teach TorAgent to change the user-agent string

- also i removed more superfluous logging