Add proxy_port tunable

For when port 80 is already taken.