tools wrapper: introduce the silent WRAPPER_NEEDED config option

Add the WRAPPER_NEEDED silent config option, that can be selected by
components that require it (companion libs so far).
Rely on this config option when deciding to install the wrapper,
instead of checking GMP/MPFR or PPL/CLoog/MPC.

#!/bin/sh

SKIP_ME="### CT_NG SKIP ME ###"

skip_me=$(($(cat "${0}" |@@grep@@ --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))

dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat

exit 0

### CT_NG SKIP ME ###