Adds a script that updates all devel git repos.