Add an expression for building Coq HEAD