Add missing dependency on Python 3

scripts/install_build_environment.sh

@@ -22,6 +22,7 @@ echo "Installing dependencies.."
 if [ -n "`uname -a | grep -i arch`" ]
 then
     sudo pacman -Sy --noconfirm \
+        python \
         make \
         m4 \
         gcc \
@@ -34,6 +35,8 @@ fi
 if [ -n "`uname -a | grep -i ubuntu`" ]
 then
 sudo apt-get install -y make \
+     python3 \
+     make \
      m4 \
      gcc \
      patch \

scripts/install_native_dependencies.sh

@@ -7,6 +7,7 @@ if [ $ID = arch ]
 then
     pacman -Sy
     sudo pacman -S --noconfirm \
+        python \
         libevdev \
         perl \
         pkg-config \
@@ -21,6 +22,7 @@ then
 else
     apt-get update -qq
     apt-get -y -qq install \
+        python3 \
         libev-dev \
         perl \
         pkg-config \

tools/webide/Dockerfile

@@ -17,7 +17,7 @@ FROM node:12-buster
 
 WORKDIR /app
 
-RUN apt-get update && apt-get -y install libev-dev perl pkg-config libgmp-dev libhidapi-dev m4 libcap-dev bubblewrap rsync
+RUN apt-get update && apt-get -y install python3 libev-dev perl pkg-config libgmp-dev libhidapi-dev m4 libcap-dev bubblewrap rsync
 
 COPY ligo_deb10.deb /tmp/ligo_deb10.deb
 RUN dpkg -i /tmp/ligo_deb10.deb && rm /tmp/ligo_deb10.deb