- Fixed: Concurrent executions of the lattice siever should not share the same input file.
- Increment version number.
- Cosmetics.