added texinfo documentation to main repo