upgraded opera-developer for version 25.0.1614.5