- Improved support for external libraries (Z3/Yices/PPL)
- binaries installed for new versions and more OSs, including PPL on Windows
- improved, more robust install mechanism
- better documentation of library build process
- Merged latest changes from PRISM:
- updates/fixes in install/launch/testing scripts and build process