master updated (bdc1f9f -> 87a6d6e)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from bdc1f9f  templates: Use plural wisely in “new failures” button.
     new a68b3d7  utils: Add ‘gather-user-privileges’.
     new 6c9e9fc  remote-server: Warn when running as root.
     new 3a6abc1  remote-worker: Add ‘--user’.
     new 87a6d6e  remote-worker: Correctly compute parallelism per worker.


Summary of changes:
 doc/cuirass.texi                      |  4 ++++
 src/cuirass/scripts/remote-server.scm | 15 +++------------
 src/cuirass/scripts/remote-worker.scm | 26 ++++++++++++++++++++------
 src/cuirass/utils.scm                 | 17 ++++++++++++++++-
 4 files changed, 43 insertions(+), 19 deletions(-)