Removed the apparently obsolete "Two spaces after dot" English spacing convention

Replaced all double (triple?) spaces with single spaces.
Left some of them, for example inside runtime_information.properties and utilities.properties because they seem to exist for indenting the tools display. Such padding will probably not work with other languages though.