Created scripts/pickTranslations

- It's a helpful php script that takes a file with exported translations in JSON syntax,
  and makes it possible to filter for a subset of its translations.
  This is especially helpful in case a single translation needs to be kept
  in a different sense than the merging that the import procedure does.
- I could also adjust the export procedure to provide better formatted JSON where possible.