build: bump version number to 13.5.1 #1973

Job	Run time
build (macos-latest)	4m 29s
download_test_data	3s
build (ubuntu-latest)	3m 20s
java_matrix	3s
unit_tests (25)	3m 38s
unit_tests (21)	3m 32s
generate_documentation	1m 0s
test_run-groovy	1m 8s
dependency_analysis	1m 3s
spotbugs	6m 24s
test_clara	3m 53s
test_decoder	2m 30s
test_coatjava (ubuntu-latest, eb-eftpi)	1m 59s
test_coatjava (ubuntu-latest, eb-enc)	1m 49s
test_coatjava (macos-latest, eb-ep, ./run-eb-tests.sh -100 electronproton)	3m 31s
test_coatjava (ubuntu-latest, eb-epc)	1m 59s
test_coatjava (ubuntu-latest, eb-eg)	1m 50s
test_coatjava (ubuntu-latest, kpp)	3m 18s
test_coatjava (ubuntu-latest, eb-ep)	2m 25s
release_build	0s
deploy_web_pages	0s
final	4s
	47m 58s

Provide feedback