Upgrade to xdebug 3.1.2

[mikenikles]

This repo no longer starts on Gitpod. I tried to upgrade xdebug and that seems to at least fix the Gitpod prebuild. It'd be great if someone with PHP knowledge could verify that the following .gitpod.Dockerfile is set up correctly.

FROM gitpod/workspace-full

USER gitpod

RUN sudo apt-get update -q \
    && sudo apt-get install -y php-dev

RUN wget http://xdebug.org/files/xdebug-3.1.2.tgz \
    && tar -xvzf xdebug-3.1.2.tgz \
    && cd xdebug-3.1.2 \
    && phpize \
    && ./configure \
    && make \
    && sudo cp modules/xdebug.so /usr/lib/php/20190902 \
    && sudo bash -c "echo -e '\nzend_extension = /usr/lib/php/20190902/xdebug.so\n[XDebug]\nxdebug.remote_enable = 1\nxdebug.remote_autostart = 1\n' >> /etc/php/8.1/cli/php.ini"