add coverage to circleci#610

davidhyman wants to merge 4 commits into

ARMmbed:masterARMmbed/mbed-cli:masterfrom

davidhyman:d/coverage_cleandavidhyman/mbed-cli:d/coverage_cleanCopy head branch name to clipboard