RPM package for Opera Developer