chore(tools/*): update .gitignore
feat(tools/icp_vis): remove icp_vis
feat(tools/run_exp): remove run_exp
feat(tools/drh): remove drh
benchmark(hybrid_systems/tunnel): add tunnel benchmark
refactor(tools): rename drh_infix_parser/lexer => drh_parser/lexer
fix(tools/parsing): make ginv optional in drh parsing
benchmark: update Makefile
checkpoint