* bootstrap: Allow user overriding of gnulib-tool location, and