Travis-CI: add 'texinfo'