Use a single copy of mbed os for different projects.#330

BioBox wants to merge 1 commit intoARMmbed:masterARMmbed/mbed-tools:masterfrom

BioBox:masterBioBox/mbed-tools:masterCopy head branch name to clipboard