patching non-termination bug in datatype factory, reported by Tiago

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix bit-vector rotation left bug

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api
Renamed Z3_mk_double to Z3_mk_fpa_double for consistency

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
improve FPA theory implementation

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