More make submission stuff
Modified run script for QF_LRA
Modified run script for QF_AX
Adjust incremental run script for QF_AX too.
Allow parallel failures when building competition version (they are spurious).
Update for QF_AUFLIA strategy
update application track script too
Fix handling of ALIA.
Doubly-ensure incremental is off in main track.  Also import bv-portfolio strategy.
fixed BVMinisat bug due to not clearing seen properly
Fix for fmf with large finite cardinalities.
added bv inequality lemmas