mbed-cli: Include library download fix

Downloading libraries is broken in both mbed-cli's latest release and
HEAD for Python 3. There is a PR, which is now included as a patch[0].
Sigh.

[0]:ARMmbed/mbed-cli#969

Author: oxzi

Dockerfile

@@ -11,7 +11,12 @@ RUN apt-get update \
 
 RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 2
 
-RUN pip3 install -U mbed-cli yotta
+RUN pip3 install -U mbed-cli==1.10.4 yotta
+
+RUN cd /usr/local/lib/python3.7/dist-packages/mbed \
+  && curl -o /tmp/mbed-py3.patch https://patch-diff.githubusercontent.com/raw/ARMmbed/mbed-cli/pull/969.patch \
+  && patch < /tmp/mbed-py3.patch \
+  && rm /tmp/mbed-py3.patch
 
 RUN cd /tmp && mbed new test && cd test \
   && pip3 install -r mbed-os/requirements.txt \