TOOLS: new script langdiff added. With this script one can check a languagefile again...