New definition of public domain (for Janrain, etc)

New config (or command-line) option for push.sh deployment script. This specifies the public-facing domain that's registered for login via Janrain, OAuth, etc. as opposed to the more ephemeral hostname of a deployment target machine.