Microsoft and Linux used to be bitter rivals. Over the years the tension has eased between the open source OS and the Windows builder, but now Microsoft is listed as a company that contributes to t…