Merge pull request #1 from gnss-sdr/next

Next