jjames pushed to cvc4 (master). "Fix finding the python include dir and lib (bz 1724142)."