Implement a setting for setting a "thousands separator"

[Nicklas Nordborg]

This will make large numbers more readable.

[Nicklas Nordborg]

In 8138:

References #2301: Implement a setting for setting a "thousands separator"

Support has been implemented in the core API, but not yet in the web interface.

[Nicklas Nordborg]

In 8139:

Fixes #2301: Implement a setting for setting a "thousands separator"

An option has now been added to the BASE -> Preferences dialog. The default is to not have a separator.

[Nicklas Nordborg]

In 8140:

Fixes #2301: Implement a setting for setting a "thousands separator"

Updated documentation and screenshot.