How to import DSP into mbed-os?

This way you can link a static CMSIS DSP library with your GCC program.