update test scripts

[RexWzh]

Changes:

1. Continue tests after failed cases
2. Added test summary at the end of test execution

Example output:

❯ lake exe test
Build completed successfully.
all_tactics-20250622: PASSED
all_tactics: PASSED
app_type_mismatch: PASSED
app_type_mismatch2: PASSED
assumption_proof: PASSED
by_cases: PASSED
calc: PASSED
def_eval: PASSED
dup_msg: PASSED
dup_sorries: PASSED
file: PASSED
21a22,30
>  "messages":
>  [{"severity": "info",
>    "pos": {"line": 4, "column": 0},
>    "endPos": {"line": 4, "column": 25},
>    "data": "Goals accomplished!"},
>   {"severity": "info",
>    "pos": {"line": 6, "column": 0},
>    "endPos": {"line": 7, "column": 40},
>    "data": "Goals accomplished!"}],
file2: FAILED
3c3,8
< {"env": 1}
---
> {"messages":
>  [{"severity": "info",
>    "pos": {"line": 1, "column": 0},
>    "endPos": {"line": 1, "column": 62},
>    "data": "Goals accomplished!"}],
>  "env": 1}
file_env: FAILED
have_by_sorry: PASSED
import_lean: PASSED
incomplete: PASSED
infotree: PASSED
1c1,6
< {"infotree":
---
> {"messages":
>  [{"severity": "info",
>    "pos": {"line": 1, "column": 0},
>    "endPos": {"line": 1, "column": 50},
>    "data": "Goals accomplished!"}],
>  "infotree":
infotree_theorem: FAILED
invalid_line_break: PASSED
invalid_tactic: PASSED
13c13,18
< {"env": 1}
---
> {"messages":
>  [{"severity": "info",
>    "pos": {"line": 1, "column": 0},
>    "endPos": {"line": 3, "column": 5},
>    "data": "Goals accomplished!"}],
>  "env": 1}
line_breaks: FAILED
name_generator: PASSED
no_goal_sorry: PASSED
no_goal_sorry_2: PASSED
options: PASSED
pickle_environment: PASSED
pickle_environment_with_imports: PASSED
...
variables: PASSED

=== Test Summary ===
Failed tests:
✗ file2
✗ file_env
✗ infotree_theorem
✗ line_breaks

Total: 4 failed
==================
Build completed successfully.
20240209: PASSED
H20231020: PASSED