update documents and fix a bug in GraphSet.pop()
- update GraphSet documents, because a graph is now represented by a list, not
  a set,
- update the author list in graphillion.release
- return a list, not a set, in GraphSet.pop()