Doumentation updates on renaming "default_lib" to "c_lib" for small C library selection#1197

iriark01 merged 2 commits intodevelopmentARMmbed/mbed-os-5-docs:developmentfrom

feature_rename_default_libARMmbed/mbed-os-5-docs:feature_rename_default_libCopy head branch name to clipboard