Vagrant: Set Python virtual env to Python 3.8

Author: TD-er

tools/vagrant/Vagrantfile

@@ -68,8 +68,10 @@ Vagrant.configure("2") do |config|
   # Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the
   # documentation for more information about their specific syntax and use.
   config.vm.provision "shell", inline: <<-SHELL
+    add-apt-repository ppa:deadsnakes/ppa
     apt-get update
     apt-get install -y python-minimal virtualenv build-essential zip binutils
+    apt-get install -y python3.8 python3.8-dev python3-pip
   SHELL
   # Clone the repo as the default user. (privileged: false)
   config.vm.provision "shell", run: "always", privileged: false do |s|

tools/vagrant/bootstrap.sh

@@ -1,4 +1,4 @@
-VENV=~/.venv/python2.7
+VENV=~/.venv/python3.8
 SRC=~/GitHub/TD-er/MCVE_ESPxx
 REPO=https://github.com/TD-er/MCVE_ESPxx.git
 BRANCH=master
@@ -30,7 +30,7 @@ done
 # If virtualenv does not exist, make it.
 if [ ! -d ${VENV} ]; then
   mkdir -p ${VENV}
-  virtualenv -p python2.7 ${VENV}
+  virtualenv -p python3.8 ${VENV}
 fi
 
 # if repository directory does not exist, make it and clone repository