Merging Tim's pseudoboolean work from his fmcad14 branch.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Some news about API changes.
Add new --pb-rewrites options to QF_LIA run script for SMT-COMP.