Make push notification server configurable (kind of fixes #29)

Configuring this made live update work on a local install, so the code seems to be good! I'm guessing that your prod forums have an nginx configuration problem or something instead.