Rename mbed_conf.h to mbed_config.h

Following the pattern device_has to DEVICE_, features to FEATURE_,
the mbed config system should map to mbed_config.h

Author: screamerbg

tools/toolchains/__init__.py

@@ -910,7 +910,7 @@ def set_config_header_content(self, header_content):
     def get_config_header(self):
         if self.config_header_content is None:
             return None
-        config_file = join(self.build_dir, "mbed_conf.h")
+        config_file = join(self.build_dir, "mbed_config.h")
         if not exists(config_file):
             with open(config_file, "wt") as f:
                 f.write(self.config_header_content)