gecode-develパッケージのインストールを追加