Make the CI great again
Some tests do not pass because of missing python3 docopt (needed by recent pybatsim versions).
Unfortunately, debian now has gcc7 and the existing scripts no longer work.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information