Adding text changes to deploy.tex, gcov and infinite loop checking. Still must be debugged.