[feature] The user config is required -

As discussed in #51, it is best to keep this header optional
and only require it in mbed online IDE as user has no control
over compiler flags and/or global constats etc.