Bug 938172 - Do not allow disabling of "core" developer tools from options panel;r=dcamp