Improve naming of the command line option which select the c library to use.

* rename 'small-build' into 'small-lib'
* rename 'standard-build' into 'std-lib'

Author: pan-

tools/options.py

@@ -76,8 +76,8 @@ def get_default_options_parser(add_clean=True, add_options=True):
                             type=argparse_lowercase_hyphen_type(['save-asm',
                                                                  'debug-info',
                                                                  'analyze',
-								 'small-build',
-								 'standard-build'],
+								 'small-lib',
+								 'std-lib'],
                                                                 "build option"))
 
     return parser

tools/toolchains/gcc.py

@@ -273,9 +273,9 @@ def __init__(self, target, options=None, notify=None, macros=None, silent=False,
         GCC.__init__(self, target, options, notify, macros, silent, TOOLCHAIN_PATHS['GCC_ARM'], extra_verbose=extra_verbose)
 
         # Use latest gcc nanolib
-        if "standard-build" in self.options:
+        if "std-lib" in self.options:
             use_nano = False
-        elif "small-build" in self.options:
+        elif "small-lib" in self.options:
             use_nano = True
         elif target.default_build == "standard":
             use_nano = False