Delete obsolete Git mirrors at immerda

We used to have hooks to keep a bunch of read-only mirror repos up-to-date at immerda. They all went away except for tails.git.

IMO, we should delete the immerda repos that we don't update automatically anymore: anyone who lands there will eventually get confused.