Add an export button to export the results of a search (all, top ten, to cut). Possibly support different formats, e.g. csv, bibref, etc