Preferences: turn keyservers treeview into a listbox
It's a relatively small task, but this will allow us to start going for a nicer UI in the preferences dialog.
It might also be worth to split the Keyserver tab into a separate class to make it more reusable.