"The CAT ruled in favour of VL on both issues, determining that contractual terms do not restrict exhaustion and that the non-program elements relied upon by Microsoft were ancillary or incidental to the primary computer program, thus not preventing the exhaustion of rights in all elements of the software upon first sale."