Update sbt-dynver to 5.1.0 #987

Job	Run time
Compile Benchmarks	1m 39s
Compile and test (2.12.20, 8)	4m 8s
Docs	3m 2s
Compile and test (2.12.20, 11)	4m 7s
Checks	2m 13s
Compile and test (2.12.20, 17)	4m 1s
Gradle tests	3m 42s
Compile and test (2.12.20, 21)	3m 48s
Maven tests	2m 34s
Compile and test (2.13.15, 8)	4m 40s
sbt scripted tests (gen-scala-server, 2.12)	8m 26s
sbt scripted tests (gen-java, 2.12)	4m 12s
Compile and test (2.13.15, 11)	5m 0s
Compile and test (2.13.15, 17)	4m 34s
Compile and test (2.13.15, 21)	4m 29s
Compile and test (3.3.4, 8)	4m 39s
Compile and test (3.3.4, 11)	4m 58s
Compile and test (3.3.4, 17)	4m 44s
Compile and test (3.3.4, 21)	4m 18s
	1h 19m 14s

Provide feedback