Add some missing functions in configuration and compat library.
Adjust library dependencies to be more correct (fixes lintian warnings).
Lower the Java JRE version requirement.
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).