linear_set: share only sets of generators
free_semiring: fix a memory leak
Merge pull request #23 from michalt/semilinear

Minor change to linear sets