DevTools Extension for the StateWalker WebRun framework