Add --use-internal-solver option, keep --no-aspcud as an alias