Remove MariaDB on puppet-git.lizard

Originally created by @intrigeri on #15490 (Redmine)

It won’t be needed anymore once #11837 (closed) is completed: we’ll instead use PuppetDB that uses PostgreSQL.

Edited May 15, 2020 by intrigeri

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information