Added variables for holding name of external solver
Document OPAMEXTERNALSOLVER environment variable
Add external_solver command-line option.
Use solver parameters to determine the name of the chosen external solver
Merge pull request #1286 from rdicosmo/add-solver-cmdline-option

Make external solver command settable via cmdline or env variable