Remove MariaDB on puppet-git.lizard

Originally created by @intrigeri on #15490 (Redmine)

It won’t be needed anymore once tails/sysadmin#11837 is completed: we’ll instead use PuppetDB that uses PostgreSQL.

Parent Task: tails/sysadmin#11834

Edited May 15, 2020 by intrigeri