Add a script to easily update repositories.

This makes use of the Github API to change some settings of all the repositories
under my control at once (this includes both Erebot's repositories and mine).