Changes:
  * Indentation with tabs by default.
  * Array keys dumped without "[i] = " prefix.
  * String keys that are valid identifiers aren't enclosed in '[""]'.
  * Basic support for multiple references (as specified in the comment).

Caused by a020d1b6.

This reverts commit 7993696f, which broke the
icon on most distributions.

This also cleans up settings a bit

Also check for (this == &other) before locking mutexes.

Also removed 2 unused functions.

Fixes issue with direct3d(8|9)

* use `pool.sks-keyservers.net` as keyserver as it's often more reliable
than `keyserver.ubuntu.com` as you can see with Google.
* put script to multiple lines
    * build out-of-source
    * use two CPUs
        * make seems to fail if $(nproc) is used unlike WeeChat. ZNC has
          same issue.
* mark build as failed if one job fails immediately without waiting for
all builds to finish.
    * this doesn't stop jobs that didn't finish before build was marked
    failed.

This reverts commit 4432e982.

Exception: "Nom / Mot de Passe" --> "Nom / Mot de passe"

Notes (in french) :

72 msgstr "Ok" : OK est un acronyme, pas un nom, donc majuscules.
193 msgstr "Feuilles transparentes" : quel type de feuilles ? Trop vague.
213 msgstr "Filtrage anisotropique" : oxymore.
229 msgstr "Précharger les visuels d'objets" : doit être écourté (dépasse trop la bordure grisée)

So I was checking out minetest and wondered how many developers there are
and how they development community is setup and such, so I decided to have
a look at the git shortlog. There were lot of double entries for some
persons, so it was harder to estimate the number of people involved.

By adding a .mailmap file, the overview of the authors is much improved
For details on the .mailmap file, see
https://www.kernel.org/pub/software/scm/git/docs/git-shortlog.html



Signed-off-by: Stefan Beller <stefanbeller@gmail.com>

Also clean up some related things.