Dockerのインストールを追加。aptリポジトリーをJAISTに変更。