add a patch to cvc4-1.0 macport to fix a clang issue with theory preprocessing cache