small improvements for preference dependencies
Merge remote-tracking branch 'origin/preferences' into develop

Conflicts:
	src/org/durka/hallmonitor/PreferenceFragmentLoader.java