Proxy setting changes

code related to ability to change proxy settting of browser running on
mac os x was completed. Currently common proxy setttings of mac os x
are changed so settings for all the browsers change. To use correctly
type:
http://127.0.0.1:8080/firefox/start?proxy=true&server=192.168.1.1&port=9
000