[PATCH] gitk: bind <F5> key to Update (reread commits)