Merge branch 'fix/ivette/properties-perf' into 'master'

[ivette] Fixes properties table loading performance.

See merge request frama-c/frama-c!3363

ivette/src/frama-c/states.ts

@@ -393,7 +393,7 @@ class SyncArray<K, A> {
       let pending;
       /* eslint-disable no-await-in-loop */
       do {
-        const data = await Server.send(this.handler.fetch, 50);
+        const data = await Server.send(this.handler.fetch, 20000);
         const { reload = false, removed = [], updated = [] } = data;
         const { model } = this;
         if (reload) model.removeAllData();