documentation-lib.scm: Abstract out texi generation module

The texinfo code used for automatically-generated documentation is
fairly generic and self-contained, so factor it out into a new module
(scm texinfo-generation).