Rosette 3.1

This release includes bug fixes, updates Rosette to use the latest version of Z3 as the default solver, and includes two new features, the value browser and the error tracer. See NOTES.md for details.