Some more repository management, initial tex compilation, and more
tests