feat(levm): add new CI directive to show tests result summary (#1557)

**Motivation**

In LEVM, every time we need to check how many tests pass, we need to
open the `Run tests` directive and scroll all the day down where the
Summary section is presented.
With this patch, a new CI directive called `Show test summary` is
created, where only the Summary is shown; thus saving some time.

**Description**

When the CI runs the `make run-evm-ef-tests-ci` directive, it is piped
to `tee` which outputs the results to stdout and also a file.
Then, the `Show test summary` directive simply `awk`s said file for the
summary.

.github/workflows/ci_levm.yaml

@@ -41,7 +41,12 @@ jobs:
       - name: Run tests
         run: |
           cd crates/vm/levm
-          make run-evm-ef-tests-ci
+          make run-evm-ef-tests-ci | tee test_result.txt
+
+      - name: Show test summary
+        run: |
+          cd crates/vm/levm
+          awk '/Summary: /,0' test_result.txt
   test:
     # "Test" is a required check, don't change the name
     name: Test