Auto-detect serial-port for upload on Linux...

Auto-detect serial-port for upload on Linux if there is only a single
serial port available.  If there are multiple serial ports, require the
user to explicitly specify a port.
Add Linux 32-bit search path for Boost libraries