ZERO and ONE are boolvar

add isBool method in IntVar
rename propBoolSum
hack intLinReif
default cumulative
PropBoolSum criterion