Makefile doesnt remove agda/tex files, as it doesnt also create them anymore