将来モデルとの互換性もある「Raspberry Pi」ノートPC化キット「pi-top」発売