Merge incomplete recursion code

[sarbojit4]

modified: src/2ls/2ls_parse_options.cpp
modified: src/2ls/2ls_parse_options.h
modified: src/2ls/Makefile
modified: src/2ls/summary_checker_base.cpp
modified: src/2ls/summary_checker_base.h
new file: src/2ls/summary_checker_rect.cpp
new file: src/2ls/summary_checker_rect.h
modified: src/domains/Makefile
modified: src/domains/domain.h
modified: src/domains/ssa_analyzer.cpp
modified: src/domains/ssa_analyzer.h
modified: src/domains/strategy_solver_base.h
modified: src/domains/strategy_solver_binsearch.h
new file: src/domains/template_gen_rec_summary.cpp
new file: src/domains/template_gen_rec_summary.h
modified: src/domains/template_generator_base.cpp
modified: src/domains/template_generator_base.h
modified: src/domains/tpolyhedra_domain.cpp
modified: src/domains/tpolyhedra_domain.h
modified: src/solver/Makefile
modified: src/solver/summarizer_fw.cpp
modified: src/solver/summarizer_fw.h
new file: src/solver/summarizer_rec_fw.cpp
new file: src/solver/summarizer_rec_fw.h