Add script FAQ2txt to convert HTML files to txt. Add comment to TODO2html.

src/tools/FAQ2txt

+#!/bin/sh
+
+# $PostgreSQL: pgsql/src/tools/FAQ2txt,v 1.1 2008/04/19 12:42:35 momjian Exp $:
+
+# Converts FAQ.html and FAQ_DEV.html to text files
+
+lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist "$@"

src/tools/TODO2html

 #!/bin/sh
 
-# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.1 2008/04/19 12:34:54 momjian Exp $:
+# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.2 2008/04/19 12:42:35 momjian Exp $:
+
+# Converts TODO text file to HTML
 
 [ ! -f COPYRIGHT ] && echo "Run from top of source tree" 1>&2 && exit 1