for bigger datasets.

the word 'Flagger' now is History, we have 'Flags' now (except for plotting, which is old and deaf and probably die soon anyway)

Peter Lünenschloß authored 4 years ago and Bert Palm committed 3 years ago

Update .gitlab-ci.yml
Update requirements_sphinx.txt