texinfo is now in spike-repos

Signed-off-by: Mattias Andrée <maandree@operamail.com>