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