Inject list of all files into _CoqProject

This is necessary to resolve error messages of the form

  Unknown option prop

which appear to have confused "coqc", since it refuses the handle a
directory implicitly.