Update platform.txt schema to account for the *_remote tools#141

per1234 merged 1 commit intomainarduino/arduino-lint:mainfrom

per1234/handle-remote-toolarduino/arduino-lint:per1234/handle-remote-toolCopy head branch name to clipboard