Opera Mini 7 stretches to Android