Extension:GerritTools

This extension will add special pages and such for requesting new repos and possibly other fun gerrit things too.

No code exists yet, cuz I haven't written it!