Create main.c

uses mbed.h's DigitalOut, absent red and green LEDs