Opera Mini 5 & Opera Mobile 10 are officially out of beta