switch to new universal distribution format
fix cygwin environment variable
fix batch scripts
fix mvn verify target
fix unescaped characters in batch script
fix quoting in batch script
try consistent spacing in path variable
fix cygwin dependency
fix name of nightly distribution
fix issue with relative path in PATH variables
fix bash support on os x
get rid of the annoying SymbolicConstrant.Data
fixed JavaSymbolicObject#variableSet to return a view of set
fixed inconsistency between ConstrainedTerm.Data#constraintData and ConstrainedTerm#constraint
minor cleanup of SymbolicRewriter
more cleanup of SymbolicRewriter, mostly renaming
replaced HashMap/Set with LinkedHashMap/Set
moved code that binds fresh variables from builtPattern to buildResult
reimplemented SymbolicConstraint#eliminateAnonymousVariables
deprecated and revised SymbolicConstraint#rename