some config changes: new --bsd option, readline gives warning, default build is now production.
Merge branch '1.3.x'

Conflicts:
	COPYING
	NEWS
configure --with-portfolio disables CLN.
Merge branch '1.3.x'
Add missing regression-results directory.
Reduce autoconf version for dependence (should fix 32-bit builds).
Merge branch '1.3.x'
Fix configure handling for CLN (should fix win32 nightly builds)
Merge branch '1.3.x'
Printer support for GetProofCommand.
Fix bug 285; some cleanup.
Add support for Boolean variables, ITEs, and other things.
Proof-checking code; regressions now check proofs for all single-query valid/unsat regressions by default.