Add an option to change the device hostname (2/2).

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: Ibc145b74036617248d4f33c6866cc9c8a8cc8974
Settings: Fix wifi developer options summaries

Change-Id: I85688d59685d3a0b0a48e51581eee77ebc7cd2fa
Developer Options: launch the Development app

Change-Id: I0f798d197888ef7f40688009536040e061c410f4
Merge remote-tracking branch 'cm/cm-12.0' into cm-12.0