Windows still rules OS roost, but Linux and Mac growing faster, says Gartner