chore: bump to 0.13.0 #18

Job	Run time
on-main-branch-check	6s
scala-tests / Scala tests with Java 11	59s
scala-tests / Scala tests with Java 17	56s
python-tests / Python tests with 3.11	30s
scala-tests / Scala tests with Java 21	1m 1s
python-tests / Python tests with 3.12	40s
python-tests / Python tests with 3.13	51s
build wheels / Build wheels for 3.11	5s
build wheels / Build wheels for 3.12	6s
build source distribution / Build source distribution	20s
build wheels / Build wheels for 3.13	16s
build seshat executable / Build Seshat executable	50s
publish-to-pypi	22s
make-changelog	9s
make-github-release	0s
	7m 11s

Provide feedback