Add PPA without using add-apt-repository

[rbalint]

Add-apt-repository is missing from docker images and installing it takes a few seconds.

Adding the PPA would be faster by using a custom script and embedding the GPG key of the repository:
https://blog.zackad.dev/en/2017/08/17/add-ppa-simple-way.html