Implement limitation of number of coqtop processes
Implement sweeper