Updating the Z3 ATS2 library to its current state.

Bringing the Z3 ATS2 library up to date.