fix(tools): make smt2 separate module
chore(tools): update Makefile
feat(tools/smt2_stat): add extract_nonlinear_func
benchmark(hybrid_systems/bouncing_ball): fix bouncing_ball.drh to be infix-form