simple.py: --list option can list solvers, new print_solvers()