Add developer option for switching between Dalvik and ART

Change-Id: Ia5a8649e52b607b31429fca258a8fdf62217426c
diff --git a/AndroidManifest.xml b/AndroidManifest.xml
index e29f04c..c894453 100644
--- a/AndroidManifest.xml
+++ b/AndroidManifest.xml
@@ -64,6 +64,7 @@
     <uses-permission android:name="android.permission.CONFIGURE_WIFI_DISPLAY" />
     <uses-permission android:name="android.permission.SET_TIME" />
     <uses-permission android:name="android.permission.ACCESS_NOTIFICATIONS" />
+    <uses-permission android:name="android.permission.REBOOT" />
 
     <application android:label="@string/settings_label"
             android:icon="@mipmap/ic_launcher_settings"