In the light of #13651 we have a new scr…

In the light of #13651 we have a new script for generating POT files, which doesn’t depend on the gettext tools, but it’s written in pure PHPPHP PHP (recursive acronym for PHP: Hypertext Preprocessor) is a widely-used open source general-purpose scripting language that is especially suited for web development and can be embedded into HTML., which gives us a lot more flexibility.

I just enabled it for the automatic POT generation and the latest POT files have been generated with the new script. Please, report any strangeness you see.