Minor cleanup from previous commit.  Better organization for how quantifiers modules check (introduce QuantifiersEngine::QEffort).
Better support for resource-limiting when there aren't any actual conflicts.
Some fixes to symmetry breaker (resolves bug 576).
Minor fix : do not drop instantiation patterns when merging quantifiers.
fixed bug575 for bv models
Fix for manpages.
First crack at fixing double-linking issues in build system.
Fix double-linking issue (I think) by simplifying builds/ structure.