Text this: Setlmon: The Setl Monitor and Performance Evaluator C.T.I. Technical Reports TR. 87.08.24