Added stp-timer.rkt from the lexishift branch.  This can be used to clean up
and extend the timing instrumentation that is currently in place.