Add "save to file" option for screenshots (+ lots of XML formatting)

mobile/res/values/dimens.xml

@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="utf-8"?>
 <resources>
 
     <!-- Default screen margins, per the Android Design guidelines. -->
@@ -8,7 +9,10 @@
     <dimen name="app_minimumsize_w">400dip</dimen>
     <dimen name="app_minimumsize_h">200dip</dimen>
 
+    <!-- margin around app icons in share activity -->
     <dimen name="icon_margin">8dp</dimen>
 
+    <!-- button size for debug views -->
+    <dimen name="button_size">36dp</dimen>
 
 </resources>

mobile/res/values/strings.xml

@@ -8,6 +8,7 @@
     <string name="activity_plugins">IITC Plugins</string>
     <string name="activity_share">Share using…</string>
     <string name="activity_share_to_clipboard">Copy to clipboard</string>
+    <string name="activity_save_to_file">Save to file</string>
     <string name="action_settings">Settings</string>
     <string name="drawer_open">Show navigation menu</string>
     <string name="drawer_close">Hide navigation menu</string>
@@ -185,4 +186,4 @@
         Are you sure you want to proceed?]]>
     </string>
 
-</resources>
+</resources>

mobile/res/values/styles.xml

@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="utf-8"?>
 <resources>
 
     <!--
@@ -19,6 +20,4 @@
 
     <color name="drawer_background">#99111111</color>
 
-    <dimen name="button_size">36dp</dimen>
-
 </resources>