C library and tools for working with Straight-Line Programs over GF(2)