Move the main interesting DevTools settings into the main settings app.

These are in the "development" section of the settings app, expanding
on ADB and other stuff that is already there.

Change-Id: I61a4955df0c548dcf1f39be46d21e8b8d02e454a