Remove addon repo management from admin/addons.

This functionality was broken anyways, and needs to be rethought. Addon reporitories can still be managed from the terminal using the tools in util/.