removed ExpandSumOperator. Using Alloy's native sum quantifier generated by Clafer
updated version numbers for release 0.3.4
release 0.3.4
instructions for binary distro