Add translators to the credits dialog

- Add tooling at //tools/i18n to generate the file with the information
  about the translators: //src/json/i18n-credits.json.
- Change credits.json to remove an entry from a translator, who is now
  mentioned in the i18n credits.
- Change Makefile and release.bash to incorporate the i18n credit
  generation in the process of building the extension.
- Change options page to accommodate the translators section.

Change-Id: I7f3991f9c456c381832f4a7bebdfc5581ef9e4be
diff --git a/.gitignore b/.gitignore
index 125c39b..a509c3e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@