Add an option to change the device hostname (1/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: I44e4771f4415a32fe66867d4dd90f1ad138341e1
Remove duplicate notifications

Acrux=Antares and Bellatrix=Betelgeuse.

I'm guessing these are duplicate due to differing
names. I believe Antares and Betelgeuse are the names
in AOSP, so leaving those two.

Change-Id: Ie58b20039bb4343c9907fc5bc31e099fd942bb87
Add torch overlay

Conflicts:
	core/res/res/values/config.xml