board.js updated to allow Raspberry Pi 'Arduino board' serial ports to be found