Fixed:
- Fix and error, where a non-redundant linearity could be considered redundant.
- Fix an optimization error in ViaShooting code so that the linear programs are now much smaller.
- Fixed memory leaks in the redundancy code.
- Updated version number in dd_DDVERSION define.