Release 0.4 CHANGES: * Decision: Fix delayed decisions handling * Array: experimental theory * Quantifier: Improve eager instanciation heuristic * Quantifier: Avoid creating new term * Simplex: Fix redundant run * Fix compilation in 32bit * Fix sign of sqrt