Changes in Cliquer and its python bindings.
Reduced Cliquer added to .ignore.