Add an advanced option to set the frequency of server-side sync

Currently without server side pushes, we poll ente servers every 5m.

We should prioritize implementing server side pushes, but since it will not work reliably on de-googled devices, we should provide an option within Advanced Settings to set the poll-interval.