Merge pull request #29 from habeIchVergessen/preferences

fix unresolvable dependencies in preferences_general.xml
action bar title != android:title
fix real bad bug where it wouldn’t stop asking for device admin
fix pref_do_notifications
Merge pull request #12 from durka/pref-cleanup

Pref cleanup
fix bug switching (touch 7 times about)
widget settings on subscreen
Merge pull request #30 from habeIchVergessen/preferences

almost fix about button debug setting (see next commit)
also change mDebug when toggling debug state
fix widget handling and layout
enormous hack to keep HM up when the headset is plugged in
smaller hack to make the back button work on nested PreferenceScreens
implement dependencies in PreferenceSwitchable
move prefs around and configure dependencies
fix bug switching (touch 7 times about)
Merge remote-tracking branch 'durka/pref-cleanup' into preferences

Conflicts:
	src/org/durka/hallmonitor/PreferenceFragmentLoader.java
Merge remote-tracking branch 'origin/preferences' into develop

Conflicts:
	res/layout/activity_default.xml
	src/org/durka/hallmonitor/DefaultActivity.java
	src/org/durka/hallmonitor/Functions.java
	src/org/durka/hallmonitor/HMAppWidgetManager.java
	src/org/durka/hallmonitor/ViewCoverService.java
Merge remote-tracking branch 'origin/preferences' into develop

Conflicts:
	res/layout/activity_default.xml
	src/org/durka/hallmonitor/DefaultActivity.java
	src/org/durka/hallmonitor/Functions.java
	src/org/durka/hallmonitor/HMAppWidgetManager.java
	src/org/durka/hallmonitor/ViewCoverService.java