[NUCLEO_F302R8] Code formatting
Update system_LPC8xx.c

Add external 12Mhz crystal support as clock set up 2
Merge pull request #226 from star297/master

Update system_LPC8xx.c
[STM32F4-Discovery(STM32F407VG)] initial port
[DISCO_F407VG]
Move BLE Nordic native library in separate directory
Add BLE HeartRate and iBeacon examples
Added RTOS_1 basic test and RTOS_9 SD file write/read test to host test automation
Added RTOS_1 basic test and RTOS_9 SD file write/read test to host test automation
Merge branch 'master' of https://github.com/mbedmicro/mbed
Update BLE library to latest version
Update Health_Thermometer example to latest revision
Merge pull request #227 from dinau/disco-f407vg

[STM32F4-Discovery (STM32F407VG)] initial port
Added RTOS_7 timer automated test to host test suite
Merge branch 'master' of https://github.com/mbedmicro/mbed
Added RTOS_5 Queue test to automated host test suite
Updates to build_api.py (platform_init.c remains platform_init.o in mbed.bld) and moved NMI_Handler from gpio_irq_api.c to platform_init.c for KL05Z, KL25Z and KL46Z target platforms to take advantage of this change.
Update GNU Makefiles to generate DEBUG binaries

* '-g' has been added for all the build to produce debugging information. '-g' allows to get the symbols when debugging with GDB.
* introduce the macro 'DEBUG' to enable/disable build optimization.

Limitations:
* Support in non-Makefile projects has been added.
[NUCLEO_F302R8] Add automatic HSE/HSI clock configuration + change spi default pins

The clock configuration is first tried with external 8MHz clock, if fail
then tried with 8MHz xtal and finally with HSI.
Merge pull request #230 from sg-/master

Create a platform specific file to override WEAK Handlers and pre-main hook mbed_sdk_init

I thought about a better solution for this problem, but I couldn't find one, so this is fine. Just one comment: I wouldn't name that file 'platform_init.c'. First, it might contain other code than just initialization code (for example, mbed_die is also declared as a weak function and we'll need to override it for NRF51822). Second, it doesn't realy send the "this file is special and should be treated as such" message. I'd call it something like 'mbed_overrides.c'. But I'll make this change later. Thanks for the pull request!
Merge pull request #232 from bcostm/master

[NUCLEO_F302R8] Improvements in clock configuration, spi default pins, code formatting