server-side debugging engines using the webkit remote debugger