Web Inspector: Remove the old front-end from WebKit