retire trac and redirect trac.torproject.org to gitlab.torproject.org on dec 9th 2020

Once trac is shutdown, redirections from trac.torproject.org needs to be perform to gitlab.torproject.org.

This happens 6 months after trac is put readonly (which is on june 12th) so around december 9th 2020.