Merge branch 'dev-async-progress-fix' of ssh://gitlab.iscpif.fr:20022/gargantext/purescript-gargantext into dev-merge