Add _CoqProject, make it work with trunk