Release of the mirrordoctor

Released the mirrordoctor, a commandline tool to maintain mirror entries in the database. Finally! You can watch a screencast to get an impression.