Docker「売却」も？　2400万人が使うコンテナ管理ツールの未来は（関連情報）：買収の候補企業は？