Relicensing TinyCC
Improve texi2html -> makeinfo conversion