[1/2] Base: Add an option to change the device hostname

This adds an option to modify the device hostname used
in ip resolution. This is useful when connecting to the
android device in a dynamic dhcp environment.

Change-Id: I56da8b49899e2a8c1a34bf8eee618e048ba7d82d

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