Opera's iOS app gets a cleaner look and shorter name