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 from master and resolved conflicts