Add doc/guile-optimize-3.txt, update index.html.