Closes #709: Add clock.close() to the shutdown of the evaluator