Adding a _CoqProject file to Compcert.