fix a link to graphillion in README