Fix android build using hardcoded path for data instead of using the one fetched by android api on init.
Fix android missing version information

Fixes: http://i.imgur.com/arAWw1i.png (middle-right)

Broken by 6bc4cad0, e.g.
  minetest --worldname world
would be parsed as
  minetest --worldname --worldname

Broken by 6bc4cad0 because database-redis.h
depended on settings.h to include filesys.h.

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)