Auto select the right port for Arduino.

it looks "Arduino" in the port manufacturer's name.
we should find something more reliable, like the product ID.
but it works for now.