add USBDevice library support for DISCO_F407VG
add target ARCH_MAX, a variant of DISCO_F407VG
Updated the PeripheralPins.c mapping
[NUCLEOs] Fix bug with adc read_u16 function

Add data convertion from 12bit to 16bit.
Fixed crash issue in RawSerial::printf for uARM

Fixed crash issue in RawSerial::printf() function for microlib platforms
since microlib doesn't fully support C99 functions such as vsnprintf().
cleaning up code within Nordic's mbed HAL using astyle
Added MemFileSystem.h from repo on mbed.org
Synchronize FatFileSystem automatically
Publish FatFileSystem under mbed-official
Fixed case for FATFileSystem
add support for nRF51-DK
Renamed TARGET_GHI_MBUINO to TARGET_OC_MBUINO to fix an issue with the online compiler.
add app_common header files for Nordic targets
add some more files related to app_common/ to the Nordic Lib
Replace the 16mhz clock with a low-freqncy external crystal based clock source at statup.
This results in a big win in power consumption.
add a missing call to us_ticker_disable_interrupt from us_ticker_remove_event.
reimplement the micro-second ticker on nRF51822 using the app_timer module (RTC)
add a minor comment to explain some complex branching in us_ticker_irq_handler()
add a cachedInterruptTimestamp to us_ticker_set_interrupt() to short-circuit duplicate calls.
introduce a timestamp_t to track timeouts for TimerEvents.
The previous type used for this purpose was unsigned int, which was both
un-portable and liable to wrap-around.