build: bump version number to 13.7.1 #2470

Job	Run time
build (ubuntu-latest)	3m 25s
download_test_data	4s
java_matrix	2s
build (macos-latest)	5m 8s
unit_tests (21)	4m 7s
unit_tests (25)	3m 45s
generate_documentation	1m 6s
spotbugs	6m 53s
test_clara	4m 40s
test_coatjava (macos-latest, eb-ep, ./run-eb-tests.sh -100 electronproton)	4m 10s
test_coatjava (ubuntu-latest, kpp)	3m 23s
test_coatjava (ubuntu-latest, eb-eg)	7m 48s
test_coatjava (ubuntu-latest, eb-epc)	11m 30s
test_coatjava (ubuntu-latest, eb-ep)	2m 14s
test_coatjava (ubuntu-latest, eb-eftpi)	7m 39s
test_coatjava (ubuntu-latest, eb-enc)	2m 51s
test_decoder	2m 29s
test_run-groovy	45s
release_build	0s
deploy_web_pages	-1s
final	3s
	1h 12m 1s

Provide feedback