include coq recipe as a submodule
include coq recipe