Update texinfo manual
Add acknowledgement to readme
Add acknowledgements to info manual