doc: drop texinfo

Old legacy. The generated .texi sources cause a huge number of warnings that we do not have a good way of fixing, and lately it stopped working completely, without giving us any explanation as to what the problem is (just exit code 1 and no error message).

mentioned in commit 1b4511c8

merged

For reference, the cause might be related to knot-dns@90f5a929