ae91800e4b
Recent failures of the Mbed OS target came from two independent issues: - some python packages started requiring Python>=2.7.10, and - the latest Intervaltree 3.0.0 release was released broken. This patch ensures a fresh python by 'lying' to the CI that this is a Python project (Python images on the CI come with a recent interpreter, not with the one shipped as default with the OS), and locks Intervaltree to a stable version. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu