add cloog.texi to distribution