add 'distinct' to C++ API

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
interpolation fix and improving duality quantifier handling
set text default to auto to try to avoid crlf disasters
duality fix
Fixed bug (codeplex issue 102)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
removed debugging code.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
.NET and Java API Bugfix (Codeplex issue 101)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
interpolation fix
getting rid of DOS line endings
merged interpolation and duality changes
g++ pedantry
C API bugfix (Stackoverflow #22864146)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
duality quantifier simplification fix
merging duality and interpolation changes
Compilation fix for FreeBSD
.NET API documentation fixes

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
added dotnet generated files to .gitignore

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>