spy-js: javascript tracing tool