Add a bit more about profiling to the lispref