Tweaked port setting for proxy servers closes #763
Merge branch 'master' of github.com:getlantern/lantern