gitk: Show the currently checked-out head in bold font