Log Message:
Update opera to 12.15.

Release date: 2013-04-04

Opera 12.15 is a recommended upgrade offering security and stability
enhancements.

Fixes and Stability Enhancements since Opera 12.14
 General and User Interface
  * Fixed an issue where the search bar's default engine could be overridden by
    third-party apps.
 Security
  * Fixed a moderately severe issue, as reported by Attila Suszter; details will
    be disclosed at a later date.
  * Added safeguards against attacks on the RC4 encryption protocol; see our
    advisory: http://www.opera.com/security/advisory/1046
  * Fixed an issue where cookies could be set for a top-level domain; see our
    advisory: http://www.opera.com/security/advisory/1047