Pushing version to 5.6.4
Bumping version
Allow concentrating only on clause dumping
Merge branch 'bug2'
Backtrack restart not available any more Thanks to @jvpeetz for spotting this!
Allow setting other config
Verbosity of simplified main should be 1
More consistent parallel solving
Fixing typos