Standalone tool to convert an Opera (.oex) extension into an Opera 15+ (.nex) extension