Rename Python tor-resolve to tor-resolve.py; stop installing it; move tor-resolve manpage to doc directory

svn:r2621

contrib/Makefile.am

@@ -4,6 +4,6 @@ EXTRA_DIST = tor-tsocks.conf torify.1 tor-resolve.1 tor.spec tor-resolve
 
 conf_DATA = tor-tsocks.conf
 
-bin_SCRIPTS = torify tor-resolve
+bin_SCRIPTS = torify
 
-man_MANS = torify.1 tor-resolve.1
+man_MANS = torify.1

doc/Makefile.am

@@ -1,6 +1,6 @@
 EXTRA_DIST = tor-spec.txt CLIENTS FAQ HACKING rend-spec.txt tor-doc.html tor-doc.css
 
-man_MANS = tor.1
+man_MANS = tor.1 tor-resolve.1
 
 SUBDIRS = design-paper