Merge branch 'single_differences' of ssh://gitlab.iri.upc.edu:2202/mobile_robotics/gauss_project/gnss_utils into single_differences