Windows 7 market share doubles that of Linux