Merge pull request #1 from gsdlab/develop

Release 0.3.3.14-8-2013
removed ExpandSumOperator. Using Alloy's native sum quantifier generated by Clafer
updated version numbers for release 0.3.4
release 0.3.4
updated from master and resolved conflicts
Merge pull request #2 from gsdlab/release-0.3.4

Release 0.3.4
instructions for binary distro
resolved conflict