master updated (58e3551 -> 9888431)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from 58e3551  Fix test suite.
     new d843a30  remote-server: Use 8 fetch workers.
     new caf624a  Move call-with-time to (cuirass utils).
     new 902dbf5  Remove call-with-time-display procedure.
     new adb31da  remote-server: Display the fetch queue size.
     new d909ca4  remote-server: Display long fetch warning.
     new 9888431  Add the specification name to the badge.


Summary of changes:
 src/cuirass/base.scm                  |  19 ---
 src/cuirass/http.scm                  |   2 +-
 src/cuirass/scripts/remote-server.scm |  58 ++++++-
 src/cuirass/templates.scm             |  14 +-
 src/cuirass/utils.scm                 |  11 +-
 src/static/images/badge-per.svg       | 283 +++++++++++++++++++++++++++-------
 6 files changed, 295 insertions(+), 92 deletions(-)