Opera 10 tops 10 million downloads