Upgrade puppet-git.lizard to Stretch

Originally created by @intrigeri on #13529 (Redmine)

This should be pretty much straightforward as long as we stick to our current Puppet packages, and Gitolite keeps working.

The only other potential problem I can foresee is the MySQL → MariaDB migration, but this went fine on ecours.

Edited May 15, 2020 by intrigeri

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