Have _CoqProject depend on all directories in COMPONENTS

This is necessary, since the _CoqProject now contains a list of all
files in _CoqProject, and any changes in those directories should be
propagated to the _CoqProject as well.