Move Jenkins' git handlers into git

To save time when checking out, jenkins is set up to reuse a shared
object directory with common git checkouts. This script maintains
those checkouts. Also, change the scripts to be +x