message: Use kokoro compiler setup from verible
diff: @@ -41,21 +41,30 @@ sudo apt-get install -y \
  sudo apt-get install -y \
  g++-7 \
  + g++-8 \
  + g++-9 \
  gcc-7 \
  - libgcc-7-dev \
  + gcc-8 \
  + gcc-9 \
  -
  -sudo update-alternatives --remove-all gcc || true
  -sudo update-alternatives --remove-all g++ || true
  -sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 10
  -sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-7 10
  -
  -sudo update-alternatives --install /usr/bin/cc cc /usr/bin/gcc 30
  +echo
  +echo "========================================"
  +echo "Setting up compiler infrastructure"
  +echo "----------------------------------------"
  +# g++
  +sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-9 150
  +sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-8 100
  +sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-7 50
  +# gcc
  +sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-9 150
  +sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 100
  +sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 50
  +# set alternatives
  +sudo update-alternatives --set g++ /usr/bin/g++-7
  +sudo update-alternatives --set gcc /usr/bin/gcc-7
  sudo update-alternatives --set cc /usr/bin/gcc
  -sudo update-alternatives --install /usr/bin/c++ c++ /usr/bin/g++ 30
  sudo update-alternatives --set c++ /usr/bin/g++
  -
  if [ -z "${BUILD_TOOL}" ]; then
  export BUILD_TOOL=make
  fi
  