Implement RecordProperties::mkGroundTerm().  Resolves bug #546.
fixed build failure
Some minor cleanup and documentation.
Minor fixes for man pages.
Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, and arith.
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
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.