Improve and fix key exporting

-allow exporting not only to default keyserver, but to any in the config list
-key may also exported as minimal key (e.g. for keysigning parties)

-exporting to local files did not work (gpg doesn't understand file://)