Removes EXTRA_DIST macro.
Removes texinfo manual, It was totally useless.

	There is more text in the README [sic]
	Maybe, one day, we will write one.
Updated