Merge branch 'feature-a/should-update' into 'dev'

tools/should.py: update from upstream

See merge request !366
5 jobs for dev in 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test Tools
passed #208684
test_tools

00:00:06

 
  Test Quality
failed #208685
web
code_quality

00:00:04

 
  Test Unit
skipped #208686
web
test_browser_unit
skipped #208687
web
test_server_unit
 
  Test Functional
skipped #208688
docker x86_64
test_server_functional
 
Name Stage Failure
failed
code_quality Test Quality
$ cp -p doc/analysis-example.vidjil browser/
$ make -C browser quality
make: Entering directory '/home/gitlab-runner/builds/ae9bf4d5/0/vidjil/vidjil/browser'
jshint --config jshintrc js/*.js
/bin/sh: 1: jshint: not found
Makefile:13: recipe for target 'quality' failed
make: *** [quality] Error 127
make: Leaving directory '/home/gitlab-runner/builds/ae9bf4d5/0/vidjil/vidjil/browser'
ERROR: Job failed: exit status 1