adding _CoqProject
some updated notes