More Java bindings fixes
Updated acknowledgments.
Don't put define-funs in model output; bug 411 testcase no longer relevant.
Partial kind branch merge, including new --rewrite-apply-to-const feature.
Minor cleanup.
Remove a regression for which the portfolio takes forever (see bug 542).
NEWS reorganization.
Fix NEWS.
Script fixes; when determining authorship of source files, don't count copyright-updating commits.
Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now works).
Fixes related to parametric datatype printing.
Update copyrights, add missing file-level documentation; fix perms.
Minor cleanup.
Fix NodeValue bitfields for 32-bit; fix comment.