Some clean-up, post bv-merge.

Add abc to build id and fix static building.

Add abc to --show-config output and Configuration class API.

Add ability to select abc source path.

Fix arch_flags for abc.
--best now implies --with-glpk --with-abc
Fix an omission in bv sources.
Update SMTCOMP script to handle all quantified logics.
switched bv equality order
Merge branch 'master' of https://github.com/CVC4/CVC4
Fix parallel run script.
Fix for competition mode + parallel.
Flush output stream after result printed in portfolio.
more smtcomp-submission script work
added optionException for trying to use abc in an non-abc build
more fix-ups
added bvcomp case to bv to bool lifting
New application track script, new heuristics and all --tear-down-incremental.  Not yet tested.
fixing bv inequality solver explanation bug
Merge branch 'master' of https://github.com/CVC4/CVC4
More make submission stuff
Modified run script for QF_LRA
Modified run script for QF_AX
Adjust incremental run script for QF_AX too.