Rename no_aspcud to use_internal_solver

Aspcud is just *one* CUDF solver, do not use its name where not needed.