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