The Texinfo manual is now kept in sync with the project information
manual pages. The Texinfo manual may be retired at some later date but
for now the two sets of documentation will be kept in sync.
Make working with the texinfo files more manageable by splitting the
large chapters into their own files.
Actually include the texinfo files into the source distribution.