Add setting to enable/disable digit grouping (default: off)

http://code.google.com/p/speedcrunch/issues/detail?id=458