Switched to using the newest Z3 stable release (4.3.2).
Use no-reuse-impls by default.
Merge branch 'develop' into svcomp2015