Some additions and comments to goobi_processProperties.xml
messages: Add English plural form of "Benutzer" and use it

German "Benutzer" is the same word for singular and plural, while the
English translation is either "User" or "Users", so we need two different
texts for it.

The menu entry must be "Users" instead of "User", and the caption of
the corresponding page must also be "Users". Fix this and translate
the comments for both code parts to English.

Signed-off-by: Stefan Weil <sw@weilnetz.de>
messages: Fix English plural form "Dockets"

The German "Laufzettel" either translates to docket (singular) or
dockets (plural). For the menu and the corresponding caption, we need
the plural form in upper case "Dockets".

Signed-off-by: Stefan Weil <sw@weilnetz.de>
Merge pull request #186 from stweil/typos

Typos, compiler warnings fixed
Merge pull request #185 from stweil/fix-texts

Fix English texts in administration menu
messages: Use English plural form "Users"

The database statistics also need the plural form "Users".

Signed-off-by: Stefan Weil <sw@weilnetz.de>
messages: Fix duplicate article "the the"

Fix the duplicate "the the" (and one more typo) also in code comments
in other files.

Signed-off-by: Stefan Weil <sw@weilnetz.de>
Merge pull request #182 from frank-ulrich-weber/processProperties

Some additions and comments to goobi_processProperties.xml
Merge pull request #191 from stweil/fix-texts

Small fixes for comments, English messages and user interface