Merge branch 'next' of https://github.com/gnss-sdr/gnss-sdr into next

1 job for next in 35 minutes and 47 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #321191
run-build

00:35:47