Add an "export color file" button

[jflot]

We need an "export color file" button in the SVG editor, so that users can export the colors of a FFR they like and use the same file to color other haplowebs.