Document how gnulib-tool can be put into PATH.