Opera Mini a devenit aplicaţie nativă pentru telefoanele Nokia