read & write floating point number locale independent

fix for #2725, this is not a json related, except if the json reader set the global locale to some default.
Options are transformed to strings in Option::getValue and read from string in Option::setValue,. The actual options file is read with the usual getline function.