Move texi2html initialization script and sed replacement file from
manuals' directory to scripts' directory:
- These files are used for all manuals we create in texinfo
format, so they must be in a common place in order for all of
manuals be able of reusing them.