Update main.c

disabled mbed libraryand ran on breadboard after inserting green and red LEDs and adding a switch connecting GND and pin 9.  When switch is closed, flashing pattern is green-red-red-red; when open, pattern is red-green-green-green.