[shellinabox/f18] Remove old git-checkout script

[Simone Caronni]

Summary of changes:

  e1f0eb5... Remove old git-checkout script (*)

(*) This commit already existed in another branch; no separate mail sent