gitk: Use bindshiftfunctionkey to bind Shift-F5