android/example: add short name for the launcher

examples/android/AndroidManifest.xml

@@ -11,7 +11,7 @@
       android:label="@string/app_name"
       android:debuggable="true">
     <activity android:name="HelloEclActivity">
-      <intent-filter>
+      <intent-filter android:label="@string/app_name_short">
         <action android:name="android.intent.action.MAIN" />
         <category android:name="android.intent.category.LAUNCHER" />
       </intent-filter>

examples/android/res/values/strings.xml

@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
 <resources>
   <string name="app_name">Embeddable Common-Lisp</string>
+  <string name="app_name_short">Embeddable CL</string>
 </resources>