v2.5.1

This release fixes a couple of issues in the front end. Specifically, it fixes the response to the get-value command and processing of define-fun commands where previously OpenSMT incorrectly reported name clashes for parameters in some cases.
Additionally, a problem for benchmarks with theory combination where sometimes OpenSMT would enter infinite cycle in a preprocessing has been fixed.