Add texinfo target to docs makefile

To be able to have the docs inside Emacs.