gitk: New option to hide remote refs