Drop no longer relevant scripts

Some tools stopped being relevant once we moved from Jenkins to GitLab a
long time ago, let's clean them up.

Signed-off-by: Emanuele Aina <emanuele.aina@collabora.com>