RefBox の更新

現在のブランチを確認する．

git branch

ブランチを変更する（masterへ）．

git checkout master

make し直したら，gecode がないとか言われるので，関係しそうなパッケージのインストール
ubuntu 14.04は，

sudo apt-get install libgecode-dev

Fedora 23は，

sudo dnf install gecode-devel