add switches to disable mirrors
This adds a switch next to each mirror listed on each repo's RepoDetails screen so that the user can selectively disable mirrors that they do not want to use. For example, if one of the mirrors is known to be slow for that user, or they are concerned about a change in the mirror host's privacy policy. Thanks to @uniqx for key help with the UI stuff.
Edited by Hans-Christoph Steiner