Add an option/category in Dev Set to customize the device hostname (1/2).

PS:
- cleanup

Change-Id: Iddeca1ea525f7c0ed84d6495babcdd73ec1db705

Conflicts:
	core/java/android/provider/Settings.java