Implement and use locale-independent strtod function

It is called strtod_c and internally uses strtod_l on OSX and Linux.
On Windows a function derived from the python source code is used
that replaces the decimal delimiter by the locale one and calls the
standard strtod function.
Merge pull request #5988 from tknopp/strtod

RFC: Locale-independent strtod