Port reboot option to Power Menu.

  * Ported from ICS, including hot reboot (overlay still needed).
  * Quite a bit changed from ics -> jb, so i just did this manually.

Change-Id: I276b9a33bcb6edea1cbea61568de091c786b9043

Conflicts:
	core/java/android/view/WindowManagerPolicy.java
	core/res/res/values/arrays.xml
	core/res/res/values/public.xml
	core/res/res/values/strings.xml
	services/java/com/android/server/pm/ShutdownThread.java
	services/java/com/android/server/wm/WindowManagerService.java

* manual port from pm to power for ShutdownThread
power menu: fix a few things that got lost during reboot options port

Change-Id: Idac90dda21e4d9e8e5b0bc662836e77436babd43

Conflicts:
	policy/src/com/android/internal/policy/impl/GlobalActions.java
	services/java/com/android/server/pm/ShutdownThread.java

* Shutdownthread stuff already applied
Improve DateFormat.format.

Add support for the 'c' format character, required in many non-English locales.
Reimplement 'c' and 'E', and 'L' and 'M', so they correctly interpret 5-count
pattern characters.

Replace the old incorrect class documentation with a pointer to the
well-maintained libcore equivalent and the Unicode UTS to which these two
implementations are supposed to conform.

Deprecate the useless constants for pattern characters. No one sane is going
to write MONTH + MONTH + MONTH + MONTH instead of "MMMM".

Correct the documentation for getLongDateFormat and getMediumDateFormat.

Also fix DateUtils.getStandaloneMonthString for LENGTH_SHORTEST.

Tests are in https://android-review.googlesource.com/53291.

Change-Id: I4dda8b18070f05ccdc11c1f0a9381a9d233db4e8