fix `make vacuum` if no `_CoqProject` is present

I was repeatedly facing this situation:

% make vacuum
make: *** No rule to make target `_CoqProject', needed by `Makefile.coq'.  Stop.

This patch makes vacuum depend on allCoqProject, which should ensure that we get rid of everything.