debtags.debian.org cleaned up

Since the Debtags consolidation announcement there are some more news:

No more anonymous submissions

Official recognition as Debian Contributors

Mailing lists closed

We can just use debian-devel instead of debtags-devel.

Autotagging of trivial packages

Miscellaneous other changes