Add IDM Extension to Opera