Build an ISO on Git push

Originally created by Tails on #5558 (Redmine)

Have the master repository on immerda push to gitolitepuppet-git.lizard:tails@, e.g. using Gitolite’s mirroring support or a simple post-receive hook.

Parent Task: tails/sysadmin#5324