ダウンローダーにcore.zip以外だけをダウンロードする機能を持たせる #642
Description
内容
こちらのプルリクエストで、VVMを別途ダウンロードできるようになりました！！
今のダウンロードだとvvmをダウンロードしようとするとコア本体がついてきます。
Python版などを使う時はコア本体が不要なので、それ以外だけをダウンロードできる機能があると便利かもです。
Pros 良くなる点
C++版以外を使う時に便利
Cons 悪くなる点
実現方法
単純にダウンロードにコア本体を除く引数をつければ良さそう。
引数名を何にするのかはちょっと議論の余地がありそう。（例えば--without-core？）