Bump net.automatalib.distribution:automata-distribution

Bumps net.automatalib.distribution:automata-distribution from 0.12.1 to 13.0.0.

---
updated-dependencies:
- dependency-name: net.automatalib.distribution:automata-distribution
  dependency-version: 13.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

pom.xml

@@ -64,7 +64,7 @@
         <maven.compiler.release>21</maven.compiler.release>
 
         <!-- Version information alphabetically sorted -->
-        <automatalib.version>0.12.1</automatalib.version>
+        <automatalib.version>13.0.0</automatalib.version>
         <biz-aQute.version>7.3.0</biz-aQute.version>
         <checker-qual.version>4.2.2</checker-qual.version>
         <error-prone.version>2.50.0</error-prone.version>