Release 2.5.1 (#6059)

Author: devyte

platform.txt

@@ -5,8 +5,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification
 
-name=ESP8266 Boards (2.6.0-dev)
-version=2.6.0-dev
+name=ESP8266 Boards (2.5.1)
+version=2.5.1
 
 # These will be removed by the packager script when doing a JSON release
 runtime.tools.xtensa-lx106-elf-gcc.path={runtime.platform.path}/tools/xtensa-lx106-elf