put trac readonly on june 12th 2020
as agreed in the last all-hands meeting, trac will be readonly on june 12th 2020 for the final migration, and will remain so for 6 months, until it is permanently archived and transformed into a redirect to gitlab (legacy/trac#34373 (moved)).