Removed Texinfo output.

I will host them on my own webpage.
I don't want to waste space by keeping
all the updates to these files! Especially the
binary PDF version!