Mbed Debugging

Install the following:

May also need OpenSDA drivers here: http://www.pemicro.com/opensda/ In particular, Windows needs to install the OpenSDA GUI which installs the OpenSDA debug drivers: http://www.pemicro.com/products/product_viewDetails.cfm?product_id=15320151