Update core version to 2.0.1

Author: facchinm

platform.txt

@@ -5,7 +5,7 @@
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
 name=Intel Curie (32-bit) Boards
-version=2.0.0
+version=2.0.1
 
 # Arduino 101 compile variables
 # ----------------------