Refer trace verifier from trace translator's README

Author: javierdiaz72

scripts/trace-translator/README.md

@@ -1,6 +1,6 @@
 # Trace translator
 
-The trace translator translates traces generated by the Praos node into traces in the format expected by the Leios trace verifier.
+The trace translator translates traces generated by the Praos node into traces in the format expected by the [Leios trace verifier](https://github.com/input-output-hk/ouroboros-leios/tree/main/leios-trace-verifier).
 
 ## Example usage