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.

Edited Sep 10, 2017 by Millian Poquet

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information