Renamed "git" "development"

(because I thought having "Development" / "Configuration" would look
cool.

modules/project/pages.js

@@ -51,6 +51,7 @@ var pages = function(dbot) {
                 "milestonename": dbot.t("milestonename"),
                 "openmilestone": dbot.t("openmilestone"),
                 "closedmilestone": dbot.t("closedmilestone"),
+                "development": dbot.t("development"),
                 "diff": diff,
                 "pagetitle": dbot.t("pagetitle", {
                     "botname": dbot.config.name

modules/project/strings.json

@@ -91,10 +91,10 @@
         "de": "Name",
         "it": "Nome"
     },
-    "git": {
-        "en": "Git",
-        "fr": "Git",
-        "de": "Git",
-        "it": "Git"
+    "development": {
+        "en": "Development",
+        "fr": "Développement",
+        "de": "Entwicklung",
+        "it": "Sviluppo"
     }
 }

views/project/project.jade

@@ -23,7 +23,7 @@ html(lang='#{curr839}')
           p.intro
             #{intro}
           section#git
-           h3 Git
+           h3 #{development} 
            p.center
              #{revnum}
            pre#gitdiff