WString: add toDouble

Port of arduino/Arduino#5362

Author: sandeepmistry

cores/arduino/WString.cpp

@@ -742,6 +742,11 @@ long String::toInt(void) const
 
 float String::toFloat(void) const
 {
-	if (buffer) return float(atof(buffer));
+	return float(toDouble());
+}
+
+double String::toDouble(void) const
+{
+	if (buffer) return atof(buffer);
 	return 0;
 }

cores/arduino/WString.h

@@ -190,6 +190,7 @@ class String
 	// parsing/conversion
 	long toInt(void) const;
 	float toFloat(void) const;
+	double toDouble(void) const;
 
 protected:
 	char *buffer;	        // the actual char array