Added texinfo to Travis configuration