Backport of the new TimePicker found in the AlarmClock app in Android 4.2+