クロスデバイス対応を容易に――Operaがウィジェットの開発キットを公開