webkitpy: clean up options for specifying multiple platforms at once