A homework IDE using LaTeX with strict time-keeping