Nft compose long jump

[koniksedy]

This PR includes:

• Modification of mata::nft:intersection() to support transducers with jumps using symbol repetition.
• Introduction of the JumpMode enum to distinguish the semantics of jump transitions (transitions with length greater than 1):
  • RepeatSymbol indicates that a jump of length n over a symbol a is understood as a sequence of n transitions, each containing a.
  • AppendDontCares indicates that a jump of length n over a symbol a is understood as a transition with a symbol a followed by n-1 transitions over DONT_CARE.
• A bug fix in the mata::nft::strings::replace_reluctatn_regex() test.

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

:exclamation: No coverage uploaded for pull request base (reluctant_replace@cfba8c4). Click here to learn what that means.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## reluctant_replace #395 +/- ## ==================================================== Coverage ? 75.02% ==================================================== Files ? 43 Lines ? 5474 Branches ? 1213 ==================================================== Hits ? 4107 Misses ? 922 Partials ? 445 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.