Minor adjustments to wording.
Minor changes to AUTHORS and COPYING
Be lazier to consider EQC in UF+cardinality solver.  Minor cleanup.
Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>