tools for working with .lar files (LaTeX archives)