GitLab

If some settings are added though the GUI, the client will
save them on exit.

The mechanism is based on syncing message consumption, which works
only while the client is syncing (therefore, not in paused mode).

When GUI consumes a "SyncMessage", an "unsynced" counter is
increased, while a "AckSyncMessage" causes a "synced" counter to
increase. The two counters are pushed to GUI regularly enough.

This patch refers to the settings update on closing the settings
window.

This patch is related to the endpoint URLs needed to make various
UI operations i.e., login and vising the pithos page on a browser.

The helper used to provide the GUI with all URLs necessary, while
now they are retrieved by the GUI itself, with the tokenless
request "POST <auth_url endpoint>/tokens".

Settings are loaded and updated in protocol.py
If the client is not ready yet, some GUI options are not gray
and unclickable until the client is ready.

When an upload fails, because a new upstream version exists, mark the
serial as failed, so as to skip it later.