doc: Describe to use multiple instances of gnulib * doc/gnulib-tool.texi: Add a section to the manual outlining how two instances of gnulib with different modules can be used, for example one for a lib and another one for associated tools.