A bit more debugging

Also removed a random shortcut link that didn't need to be there

libraries/mbed/api/DigitalOut.h

@@ -55,7 +55,9 @@ public:
      *      0 for logical 0, 1 (or any other non-zero value) for logical 1
      */
     void write(int value) {
+		printf("before write\r\n");
         gpio_write(&gpio, value);
+		printf("after write\r\n");
     }
 
     /** Return the output setting, represented as 0 or 1 (int)

libraries/tests/LPC1114/Blinky/main.cpp

@@ -6,7 +6,7 @@ int main() {
 	while (1) {
 		printf("Testing...\r\n");
 		led = 1;
-		printf("LED on");
+		printf("LED on\r\n");
 		wait(0.5);
 		led = 0;
 		wait(0.5);