iOS app: added preferences for alternative server