Export feature for search results

[bkis]

Export the results of a search, including:

• location info (ID, aliases?)
• hit (resource ID and title in user language, referenced resource content)

This will only work in JSON format (as the contents are too diverse for a tabular format) and will be quite expensive, as a possibly large number of arbitrary locations and contents has to be pulled from the DB and composed as an export file.