Install Mbed OS Python requirements

Dockerfile

@@ -7,6 +7,7 @@ ENV LC_ALL=C.UTF-8
 RUN apt-get update \
     && apt-get install -y --no-install-recommends \
         binutils-arm-none-eabi \
+        build-essential \
         ca-certificates \
         curl \
         gcc-arm-none-eabi \
@@ -15,6 +16,7 @@ RUN apt-get update \
         mercurial \
         patch \
         python3 \
+        python3-dev \
         python3-pip \
         python3-setuptools \
         python3-wheel \
@@ -30,7 +32,11 @@ RUN curl -fsSL "https://nodejs.org/dist/v${NODE_VERSION}/node-v${NODE_VERSION}-l
 
 ENV PATH=/opt/node/bin:${PATH}
 
-RUN python3 -m pip install --no-cache-dir "mbed-cli==1.10.5"
+COPY mbed-os-5.15-requirements.txt /tmp/mbed-os-5.15-requirements.txt
+
+RUN python3 -m pip install --no-cache-dir --default-timeout=100 --retries 10 "mbed-cli==1.10.5" \
+    && python3 -m pip install --no-cache-dir --default-timeout=100 --retries 10 -r /tmp/mbed-os-5.15-requirements.txt \
+    && rm /tmp/mbed-os-5.15-requirements.txt
 
 RUN arm-none-eabi-gcc --version \
     && python3 --version \