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

Change discussed in https://groups.google.com/forum/#!topic/mbed-devel/didoeCqf3fI