Cleaned up TeX files and added a necessary target to force recompilation in vault.mk