devtools Extension von Weihua Wang

Adds a new panel to the developer tools. The panel contains buttons that demonstrate various basic features of the devtools API.