Build: Rework build profiles

Rename small.json to release.json, default.json to develop.json and make
it the default profile.

docs/build_profiles.md

@@ -1,11 +1,11 @@
 # Build Profiles
-Mbed 5.0 supports three primary build profiles, *default*, *debug* and *small*. When using
+Mbed 5.0 supports three primary build profiles, *develop*, *debug* and *release*. When using
-the online compiler the *default* profile is used. When building from the command line
+the online compiler the *develop* profile is used. When building from the command line
 the desired profile can be can be selected by adding the ```--profile <profile>```
-command line flag. Custom user defined profiles can also be specific by giving the path
+command line flag, but `develop` will be used by default. Custom user defined profiles can also be specific by giving the path
 the the profile.
 
-## Default profile
+## Develop profile
 * Small and fast code
 * Full error information - e.x. asserts have filename and line number
 * Hard to follow code flow when using a debugger
@@ -15,7 +15,7 @@ the the profile.
 * Full error information - e.x. asserts have filename and line number
 * Largest and slowest profile
 
-## Small profile
+## Release profile
 * Smallest profile and still fast
 * Minimal error information
 * Hard to follow code flow when using a debugger

tools/options.py

@@ -100,7 +100,7 @@ def list_profiles():
     """
     return [fn.replace(".json", "") for fn in listdir(join(dirname(__file__), "profiles")) if fn.endswith(".json")]
 
-def extract_profile(parser, options, toolchain, fallback="default"):
+def extract_profile(parser, options, toolchain, fallback="develop"):
     """Extract a Toolchain profile from parsed options
 
     Positional arguments: