automation run-all.js: tell the user when they pick an unknown --platform
Merge pull request #3096 from jrgm/issue-3095

automation run-all.js: tell the user when they pick an unknown --platform