Added a --no-aspcud option to disable the external solver