Automated Release v1.2.4.5

[github-actions]

Auto-generated pull request for version 1.2.4.5.

Please use Squash and merge to include the changelog in the release message.

Changelog:

• Fix textproto generation and escape traces properly. (4207) [Fabian Ruffy]
• Fix P4TC issues (4209) [Komal Jain]
• generic -O option to set optimization level/options (4206) [Chris Dodd]
• Fix another segmentation fault when using the coverable nodes scanner. (4203) [Fabian Ruffy]
• [P4Testgen] Add a DPDK-PTF P4Testgen back end and the corresponding test runner (4173) [Hoooao]
• ParserUnroll: fix seg. fault for uninitialized variables inside header stack indexes (4200) [VolodymyrPeschanenkoLitSoft]
• Match switch labels directly instead of replacing them. Use .action_run return value instead of indirection. (4161) [Fabian Ruffy]
• [P4Testgen] Change Protobuf backend test case file extension to (4201) [Bili Dong]
• Ensured that error messages cannot be demoted to info messages (4197) [Denis Matousek]
• Fixes for the artifact evaluation. (4199) [Fabian Ruffy]
• Only look ahead for the else branch when it is not null. Check for null in node coverage. (4191) [fruffy-g]
• [P4Testgen] Support string types in the Z3 solver. (4195) [Fabian Ruffy]
• testutils: Fix LogPipe to always record output. [Fabian Ruffy]
• backends/ebpf: Output an error if a header is not byte-aligned (4176). [Thomas Calvert]
• backends/ebpf: Support errors testing. [Thomas Calvert]
• Stop endianess conversion in parser (4193) [Komal Jain]
• Update BUILD.bazel (4192) [Steffen Smolka]
• Update the Bazel build files (4190) [fruffy-g]
• Added support of info messages (4184) [Denis Matousek]
• Move the solver file from the lib folder to the ir folder. (4188) [Fabian Ruffy]
• Do not treat an array index as a purely symbolic variable and resolve the index correctly. (4186) [Fabian Ruffy]
• Delete top-level dash-pipeline file. (4187) [Fabian Ruffy]
• Run Gauntlet validation, sanitizers, and Ubuntu 18 build/test as nightly actions. (4105) [Fabian Ruffy]
• Show annotations in actions' dbprint (4183) [Vladimír Štill]
• Update the dash-pipeline programs. (4060) [Fabian Ruffy]
• Simplify the DPDK PTF build and test scripts. (4168) [Fabian Ruffy]
• Encode more P4Runtime constraints for the behavioral model. (4103) [Fabian Ruffy]
• [P4Testgen] Add more trace information to P4Testgen (4157) [Fabian Ruffy]
• Add an option to only generate tests which improve coverage. (4163) [Fabian Ruffy]