Make merging of soft device optional for FOTA platforms and change FOTA platforms to generate .hex files
Merge branch 'master' of https://github.com/mbedmicro/mbed