Merge pull request #5 from arebert/lpc4088

Add support for NXP LPC4088
cleanup
setup main thread stack for GCC toolchains
mirror the mbed.org libraries
Add scripts to sinchronize mbed.org libraries with mbed SDK
Refactoring of the mbed SDK:
- Provide a well defined HAL and API
- Keep separated the HAL implementations for the different targets
Unify mbed library sources
Remove stdio retargeting reference form cmsis: keep it as a standalone
object
Avoid object files clash for sources with the same name
Use correct setting for -mfpu when building for Cortex-M4 targets, and
add a setting for using hard or soft floating point.
Merge pull request #6 from spectaclelabs/cortex-m4-float-options

Use correct setting for -mfpu when building for Cortex-M4 targets, and add a setting for using hard or soft floating point.