point libc manual refs to gnu.org

- In doc/gendocs.sh, HTML files are now modified with sed to point to
  the glibc manual hosted on gnu.org whenever a link to that manual
  appears.