jhbuildrc-gnome-shell: Remove obsolete setting of
   os.environ['INSTALL'] - setting installprog is the modern way
   to do it.
jhbuildrc-custom-example: Show how to override installprog to
  work around #571240 on Arch Linux.