Minor version update with new features

New features in this release:

• Debug mode with --debug (outputs all intermediate computations to flat files for debug purposes)
• Support for experimental constraints (with --soft and --hard)

Plus some minor bug fixes.