An implementation of Zigzag, an algorithm for the Smallest grammar problem