(workspace_tools) Added basic support for setting the debug level of the compiler in make.py. At some point I will use this to enable debugging of test programs over CMSIS-DAP, or with GDB.
Merge branch 'master' of https://github.com/matthewelse/mbed