Merge pull request #33 from michalt/semilinear

Make polynomials use Idempotence of the semiring
splitting point for recursive star is now always the middle (reduces the number of rec. calls)
import new perf test for slset
polynomial: disable static_assert for now