A Coq plugin that allows a user to start and stop timers.