Restored lazy evaluation of external solver presence
Use the POSIX compliant command -v invocation to determine whether a command exists,
and check execution permissions if it is an external command.
Merge pull request #1290 from rdicosmo/add-solver-cmdline-option

Improve detection of executable commands: use POSIX compliant command -v and then check execution permissions for non builtin commands