add barvinok_summate to sum a quasi-polynomial over a parametric polytope