feat(smtsolver): added debugging and nra_solver suggestions for variable selection

feat(smtsolver): added debugging and nra_solver suggestions for variable selection

feat(heuristics): added variable selection heuristic based upon mode paths

feat(dsolvers): variable selection heuristic for bmc

fix(dReach): Merged dReach scripts into one

fix(heuristics): Cleanup BMC heuristic code

cleanup(smtsolver): cleanup unnecessary diffs

Conflicts:
	src/opensmt/smtsolvers/CoreSMTSolver.C
	src/opensmt/smtsolvers/SMTConfig.C
	src/opensmt/smtsolvers/SMTConfig.h
feat(benchmarks): added start of multiple battery scheduling problem
fix(dReach): fixed flag for dReach
chore(dsolvers): rename bmc_heuristic to nra_bmc_heuristic
fix(CMakeLists.txt): add "--disable-minidebuginfo" to configure libunwind

Dan had a link error without it and this option resolved the issue.