Merge tag 'v5.1.0' into develop

update for eXist 5.2.0
3 jobs for develop in 15 minutes and 31 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-develop #309537

00:00:42

 
  Test
passed installation #309538

00:13:55

 
  Deploy
passed upload #309539

00:00:54