[PATCH] gitk: allow goto heads