Extract hinidu-notebook description
Add TexLive packages
Add HaTeX