开发人员选项

Shortcut (and widget) to developer options settings.

更新内容：
优化体验，增强稳定性。