git-gui: Allow users to set font weights to bold