New version of Opera web browser released