collectlib: schedule jobs
Run repeated import jobs automatically. For example, it should be possible to run a given import every n days.
To avoid versioning problems, it should be possible to define a pattern for the repository name, e.g. coq-export-DD-MM-YY.