Enable configuration of push API endpoint.

This is done as "will-do-for-now" as this area will be revised
extensively once development of the SDK is switched to Android
Studio.