Release v1.2.5.1 (#5040)

Signed-off-by: rst0git <9142901+rst0git@users.noreply.github.com>

Changelog:
- Fix miscellaneous Tofino warnings. (5007) [Fabian Ruffy]
- Inline some IR methods and constructors. It does not really make sense (5030) [Anton Korobeynikov]
- More Tofino include fixes. (5006) [Fabian Ruffy]
- Fix Mac dependency installation. (5028) [Fabian Ruffy]
- Generate JSON actions and keys fields array even when they are empty  (5022) [vbnogueira]
- Use type-safe discriminated union for Annotation (5018) [Anton Korobeynikov]
- Fix modifyAllMatching visitor helper (5020) [Vladimír Štill]
- Add Tofino to release.yml (5017) [Fabian Ruffy]
- minor fix to tofino cmake file (5016) [Han Wang]
- Remove some trivial leaks in codebase (5012) [Anton Korobeynikov]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Version.txt

@@ -1 +1 @@
-1.2.5.0
+1.2.5.1