Use configured shell in all build-tools wrappers

Abide by the user's wish to use dash as shell in
build-tools wrappers, instead of plain /bin/sh.

 reporter_name="Yann E. MORIN"

 reporter_url="http://ymorin.is-a-geek.org/dokuwiki/projects/crosstool"

 reporter_comment=""