compute the server address instead of hardcoding it

This will save us the trouble of editing it to change it for
production and testing.

Peter, I don't know how your hosting is currently set up, this might necessitate a change there.