Version 004

- suppress duplicated literals
- support for binary proof format
- support for 'xz' compressed files