[galaxy-commits] commit/galaxy-central: greg: Increment the repository.times_downloaded column in the Galaxy tool shed database when the repository is cloned from the command line.