GitLab

export tarball. Add check for time in python script. Small change in the
timer in the tests (not that much).