External solver failure: better messages, and logging cudf file
Added a --no-aspcud option to disable the external solver
Merge pull request #908 from AltGr/aspcud-fail-log-cudf

External solver failure: better messages, and logging cudf file