Update _CoqProject and Makefile for gaptrees