Fixes for Boolean terms in arrays (including fix for bug 517).
Workaround for suspected clang 3.0 codegen bug on Mac
Merge branch '1.2.x'
Support for abs in SMT-LIB
to_real, to_int, is_int support for SMT-LIB
Linear div,mod,/ support in SMT-LIB with --rewrite-divk
Don't allow --stats if not a statistics-enabled build