navigation.msg: changing the name of instance of DifferentialGnss