Opera a Opera Mini pre Android prinášajú kompresiu videí a ďalšie novinky