modules renamed

Rev: src/modules/gdbmmod/doc/gdbm:1.2(DEAD)
Rev: src/modules/gmpmod/doc/mpz:1.3(DEAD)
Rev: src/modules/image/doc/image.html:1.9(DEAD)
Rev: src/modules/mysql/doc/mysql:1.11(DEAD)
Rev: src/modules/mysql/doc/mysql_result:1.14(DEAD)
Rev: src/modules/readlinemod/doc/readline:1.2(DEAD)
Rev: src/modules/regexp/doc/regexp:1.2(DEAD)
Rev: src/modules/zlibmod/doc/gz_deflate:1.3(DEAD)
Rev: src/modules/zlibmod/doc/gz_inflate:1.3(DEAD)