Merge tag 'v1.20.0' into develop

Bump version to 1.20.0

Author: valeros

platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.19.0",
+  "version": "1.20.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",