gitk: Use a text widget for the file list