Better progress [skip hazardlib][demos]
Better progress [skip hazardlib][demos]


Former-commit-id: f3ea0d7860da0710b33203a6b7f8c59a47a6f24d [formerly 46475edd566ce1e407ceec895ff5feedeb47f63c]
Former-commit-id: 6ef92296c2471a411d6fef54ba983a124b503a8f
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine