Goで書かれたSATソルバのgini https://github.com/IRIFrance/gini を試してみたいのだけど、go初心者過ぎてインストールの仕方が良くわからない。 go get github.com/irifrance/gini して $GOPATH/src/github.com/irifrance/gini/cmd/gini で go install すれば良いの?