documentation: added texinfo documentation