Further enhance the check for needed tools:
- update the tool_pattern to use ' || ' as a pattern separator
- which allows using | in regexp
- add checks for cut and xargs
- manually check for grep and sed because they are needed when checking for tools
- print why a test failed, with each tested tool and regexp
- move tools checks before options parsing
- apply conttibutions before computing the version string
- inform user to run make && make install

/trunk/configure | 173 111 62 0 ++++++++++++++++++++++++++++++++++++++++----------------------
1 file changed, 111 insertions(+), 62 deletions(-)

 # GMP options

 choice

     bool

     prompt "GMP version"

 config GMP_V_4_2_2

     bool

     prompt "4.2.2"

 config GMP_V_4_2_4

     bool

     prompt "4.2.4"

 # CT_INSERT_VERSION_ABOVE

 # Don't remove above line!

 endchoice

 config GMP_VERSION

     string

     default "4.2.2" if GMP_V_4_2_2

     default "4.2.4" if GMP_V_4_2_4

 # CT_INSERT_VERSION_STRING_ABOVE

 # Don't remove above line!

 config GMP_CHECK

     bool

     prompt "Check GMP"

     default y

     help

       It is highly recommended that 'make check' is run against the newly built

       GMP library. See http://gmplib.org/