_CoqProject won't be loaded from subdirectory

[Alizter]

The _CoqProject finding logic doesn't handle the case when _CoqProject appears in a subdirectory of a workspace. This can happen if a certain folder contains all the Coq related things. This is fixed by moving the _CoqProject one level up, but that isn't ideal.