Τέλος στον «πόλεμο των πατεντών» ανάμεσα σε Microsoft και Google