Use static title for repository details activity

Repository name is usually too long to fit into the title. Besides, it's
also shown in the activity, no need to duplicate it.

F-Droid/AndroidManifest.xml

@@ -347,7 +347,7 @@
         </activity>-->
         <activity
             android:name=".views.RepoDetailsActivity"
-            android:label="@string/menu_manage"
+            android:label="@string/repo_details"
             android:parentActivityName=".views.ManageReposActivity"
             android:windowSoftInputMode="stateHidden">
             <meta-data

F-Droid/res/values/strings.xml

@@ -188,6 +188,7 @@
     <string name="theme">Theme</string>
     <string name="unsigned">Unsigned</string>
     <string name="unverified">Unverified</string>
+    <string name="repo_details">Repository</string>
     <string name="repo_num_apps">Number of apps</string>
     <string name="repo_fingerprint">Fingerprint of Repo Signing Key (SHA-256)</string>
     <string name="repo_description">Description</string>

F-Droid/src/org/fdroid/fdroid/views/RepoDetailsActivity.java

@@ -101,8 +101,6 @@ public class RepoDetailsActivity extends ActionBarActivity {
         };
         repo = RepoProvider.Helper.findById(this, repoId, projection);
 
-        setTitle(repo.name);
-
         TextView inputUrl = (TextView) findViewById(R.id.input_repo_url);
         inputUrl.setText(repo.address);