include proofgeneral recipe as submodule
include proofgeneral recipe