gamelist: add a button to export filtered games.