Merge pull request #61 from jamesbeyond/docker_update

update docker to mbed-os official docker image

Author: Qinghao Shi

.circleci/config.yml

@@ -6,18 +6,13 @@ version: 2
 jobs:
   build:
     docker:
-      - image: circleci/python:3.6.1
+      - image: mbedos/mbed-os-env:stable
     working_directory: ~/repo
     steps:
       - checkout:
           path: work/sinppet/TESTS
       - run: mv work/sinppet/TESTS/mbed-os.lib work/
-      - run: wget -q https://developer.arm.com/-/media/Files/downloads/gnu-rm/6_1-2017q1/gcc-arm-none-eabi-6-2017-q1-update-linux.tar.bz2
-      - run: tar -xjf gcc-arm-none-eabi-6-2017-q1-update-linux.tar.bz2
-      - run: echo 'export PATH=~/repo/gcc-arm-none-eabi-6-2017-q1-update/bin:$PATH' >> $BASH_ENV
-      - run: sudo pip install mbed-cli
       - run: git clone https://github.com/ARMmbed/mbed-os.git work/mbed-os
-      - run: sudo pip install -r work/mbed-os/requirements.txt
       - run: |
           cd work
           mbed config root .