Upgrade puppet-git.lizard to Stretch

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.

Original created by @intrigeri on 13529 (Redmine)

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